notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
Port details on branch 2023Q3
hs-Agda Dependently typed functional programming language and proof assistant
2.6.3_1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.6.3_1Version of this port present on the latest quarterly branch.
Maintainer: haskell@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-09-06 19:24:05
Last Update: 2023-09-06 19:23:16
Commit Hash: a342d4b
Also Listed In: haskell
License: UNKNOWN
WWW:
https://wiki.portal.chalmers.se/agda/
Description:
Agda is a dependently typed functional programming language: It has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Lof. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (95 items)
Collapse this list.
  1. /usr/local/share/licenses/hs-Agda-2.6.3_1/catalog.mk
  2. /usr/local/share/licenses/hs-Agda-2.6.3_1/LICENSE
  3. /usr/local/share/licenses/hs-Agda-2.6.3_1/UNKNOWN
  4. share/Agda/emacs-mode/agda-input.el
  5. share/Agda/emacs-mode/agda-input.elc
  6. share/Agda/emacs-mode/agda2-abbrevs.el
  7. share/Agda/emacs-mode/agda2-abbrevs.elc
  8. share/Agda/emacs-mode/agda2-highlight.el
  9. share/Agda/emacs-mode/agda2-highlight.elc
  10. share/Agda/emacs-mode/agda2-mode-pkg.el
  11. share/Agda/emacs-mode/agda2-mode.el
  12. share/Agda/emacs-mode/agda2-mode.elc
  13. share/Agda/emacs-mode/agda2-queue.el
  14. share/Agda/emacs-mode/agda2-queue.elc
  15. share/Agda/emacs-mode/agda2.el
  16. share/Agda/emacs-mode/agda2.elc
  17. share/Agda/emacs-mode/annotation.el
  18. share/Agda/emacs-mode/annotation.elc
  19. share/Agda/emacs-mode/eri.el
  20. share/Agda/emacs-mode/eri.elc
  21. share/Agda/lib/prim/Agda/Builtin/Bool.agda
  22. share/Agda/lib/prim/Agda/Builtin/Bool.agdai
  23. share/Agda/lib/prim/Agda/Builtin/Char.agda
  24. share/Agda/lib/prim/Agda/Builtin/Char.agdai
  25. share/Agda/lib/prim/Agda/Builtin/Char/Properties.agda
  26. share/Agda/lib/prim/Agda/Builtin/Char/Properties.agdai
  27. share/Agda/lib/prim/Agda/Builtin/Coinduction.agda
  28. share/Agda/lib/prim/Agda/Builtin/Coinduction.agdai
  29. share/Agda/lib/prim/Agda/Builtin/Cubical/Glue.agda
  30. share/Agda/lib/prim/Agda/Builtin/Cubical/Glue.agdai
  31. share/Agda/lib/prim/Agda/Builtin/Cubical/HCompU.agda
  32. share/Agda/lib/prim/Agda/Builtin/Cubical/HCompU.agdai
  33. share/Agda/lib/prim/Agda/Builtin/Cubical/Id.agda
  34. share/Agda/lib/prim/Agda/Builtin/Cubical/Id.agdai
  35. share/Agda/lib/prim/Agda/Builtin/Cubical/Path.agda
  36. share/Agda/lib/prim/Agda/Builtin/Cubical/Path.agdai
  37. share/Agda/lib/prim/Agda/Builtin/Cubical/Sub.agda
  38. share/Agda/lib/prim/Agda/Builtin/Cubical/Sub.agdai
  39. share/Agda/lib/prim/Agda/Builtin/Equality.agda
  40. share/Agda/lib/prim/Agda/Builtin/Equality.agdai
  41. share/Agda/lib/prim/Agda/Builtin/Equality/Erase.agda
  42. share/Agda/lib/prim/Agda/Builtin/Equality/Erase.agdai
  43. share/Agda/lib/prim/Agda/Builtin/Equality/Rewrite.agda
  44. share/Agda/lib/prim/Agda/Builtin/Equality/Rewrite.agdai
  45. share/Agda/lib/prim/Agda/Builtin/Float.agda
  46. share/Agda/lib/prim/Agda/Builtin/Float.agdai
  47. share/Agda/lib/prim/Agda/Builtin/Float/Properties.agda
  48. share/Agda/lib/prim/Agda/Builtin/Float/Properties.agdai
  49. share/Agda/lib/prim/Agda/Builtin/FromNat.agda
  50. share/Agda/lib/prim/Agda/Builtin/FromNat.agdai
  51. share/Agda/lib/prim/Agda/Builtin/FromNeg.agda
  52. share/Agda/lib/prim/Agda/Builtin/FromNeg.agdai
  53. share/Agda/lib/prim/Agda/Builtin/FromString.agda
  54. share/Agda/lib/prim/Agda/Builtin/FromString.agdai
  55. share/Agda/lib/prim/Agda/Builtin/IO.agda
  56. share/Agda/lib/prim/Agda/Builtin/IO.agdai
  57. share/Agda/lib/prim/Agda/Builtin/Int.agda
  58. share/Agda/lib/prim/Agda/Builtin/Int.agdai
  59. share/Agda/lib/prim/Agda/Builtin/List.agda
  60. share/Agda/lib/prim/Agda/Builtin/List.agdai
  61. share/Agda/lib/prim/Agda/Builtin/Maybe.agda
  62. share/Agda/lib/prim/Agda/Builtin/Maybe.agdai
  63. share/Agda/lib/prim/Agda/Builtin/Nat.agda
  64. share/Agda/lib/prim/Agda/Builtin/Nat.agdai
  65. share/Agda/lib/prim/Agda/Builtin/Reflection.agda
  66. share/Agda/lib/prim/Agda/Builtin/Reflection.agdai
  67. share/Agda/lib/prim/Agda/Builtin/Reflection/External.agda
  68. share/Agda/lib/prim/Agda/Builtin/Reflection/External.agdai
  69. share/Agda/lib/prim/Agda/Builtin/Reflection/Properties.agda
  70. share/Agda/lib/prim/Agda/Builtin/Reflection/Properties.agdai
  71. share/Agda/lib/prim/Agda/Builtin/Sigma.agda
  72. share/Agda/lib/prim/Agda/Builtin/Sigma.agdai
  73. share/Agda/lib/prim/Agda/Builtin/Size.agda
  74. share/Agda/lib/prim/Agda/Builtin/Size.agdai
  75. share/Agda/lib/prim/Agda/Builtin/Strict.agda
  76. share/Agda/lib/prim/Agda/Builtin/Strict.agdai
  77. share/Agda/lib/prim/Agda/Builtin/String.agda
  78. share/Agda/lib/prim/Agda/Builtin/String.agdai
  79. share/Agda/lib/prim/Agda/Builtin/String/Properties.agda
  80. share/Agda/lib/prim/Agda/Builtin/String/Properties.agdai
  81. share/Agda/lib/prim/Agda/Builtin/TrustMe.agda
  82. share/Agda/lib/prim/Agda/Builtin/TrustMe.agdai
  83. share/Agda/lib/prim/Agda/Builtin/Unit.agda
  84. share/Agda/lib/prim/Agda/Builtin/Unit.agdai
  85. share/Agda/lib/prim/Agda/Builtin/Word.agda
  86. share/Agda/lib/prim/Agda/Builtin/Word.agdai
  87. share/Agda/lib/prim/Agda/Builtin/Word/Properties.agda
  88. share/Agda/lib/prim/Agda/Builtin/Word/Properties.agdai
  89. share/Agda/lib/prim/Agda/Primitive.agda
  90. share/Agda/lib/prim/Agda/Primitive.agdai
  91. share/Agda/lib/prim/Agda/Primitive/Cubical.agda
  92. share/Agda/lib/prim/Agda/Primitive/Cubical.agdai
  93. @owner
  94. @group
  95. @mode
Collapse this list.
Dependency lines:
  • hs-Agda>0:math/hs-Agda
To install the port:
cd /usr/ports/math/hs-Agda/ && make install clean
To add the package, run one of these commands:
  • pkg install math/hs-Agda
  • pkg install hs-Agda
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: hs-Agda
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1678606792 SHA256 (cabal/Agda-2.6.3/Agda-2.6.3.tar.gz) = beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016 SIZE (cabal/Agda-2.6.3/Agda-2.6.3.tar.gz) = 1794269

Expand this list (196 items)

Collapse this list.

SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601 SHA256 (cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = d87b6c85696b601175274361fa62217894401e401e150c3c5d4013ac53cd36f3 SIZE (cabal/QuickCheck-2.14.2/QuickCheck-2.14.2.tar.gz) = 75246 SHA256 (cabal/STMonadTrans-0.4.6/STMonadTrans-0.4.6.tar.gz) = cb7a9af72af10ca56a3ce43ed775c9c1c8e1faf159c77f570cc07c0e21807067 SIZE (cabal/STMonadTrans-0.4.6/STMonadTrans-0.4.6.tar.gz) = 7151 SHA256 (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 6cf50537070f6ce559b4bae28b2a167a85c2379d9710d54afb22c7c8dd785b13 SIZE (cabal/STMonadTrans-0.4.6/revision/1.cabal) = 2458 SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825 SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048 SHA256 (cabal/aeson-2.1.2.1/aeson-2.1.2.1.tar.gz) = 5d4042b903ce181ee023bbf908f37a3f55e820c5f0df102683b87f963e3522c6 SIZE (cabal/aeson-2.1.2.1/aeson-2.1.2.1.tar.gz) = 335908 SHA256 (cabal/aeson-2.1.2.1/revision/1.cabal) = f10f3c661bd5cf57aee46b94420e47736240b8e209ac15f4bfc1a4e4d55831fa SIZE (cabal/aeson-2.1.2.1/revision/1.cabal) = 6344 SHA256 (cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 9bd2f1a27e8f1b2ffdb5b2fbd3ed82b6f0e85191459a1b24ffcbef4e68a81bec SIZE (cabal/alex-3.2.7.1/alex-3.2.7.1.tar.gz) = 108229 SHA256 (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = d8988dc6e8718c7a3456515b769c9336aeeec730cf86fc5175247969ff8f144f SIZE (cabal/assoc-1.0.2/assoc-1.0.2.tar.gz) = 3047 SHA256 (cabal/assoc-1.0.2/revision/3.cabal) = 93b8d43aa081e4205116a139f7cf690f608968161d19ebfb23d884d19b082b57 SIZE (cabal/assoc-1.0.2/revision/3.cabal) = 1253 SHA256 (cabal/async-2.2.4/async-2.2.4.tar.gz) = 484df85be0e76c4fed9376451e48e1d0c6e97952ce79735b72d54297e7e0a725 SIZE (cabal/async-2.2.4/async-2.2.4.tar.gz) = 14148 SHA256 (cabal/async-2.2.4/revision/2.cabal) = 2b9409023536823233ce3134558565d01b3382e651fa54ac8cb8a99967e023c9 SIZE (cabal/async-2.2.4/revision/2.cabal) = 3095 SHA256 (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c SIZE (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 160701 SHA256 (cabal/attoparsec-0.14.4/revision/3.cabal) = 50475b722305175f57a3ee3dbaee10aa4b91f61c9717b85b718a7df37c223fb2 SIZE (cabal/attoparsec-0.14.4/revision/3.cabal) = 5679 SHA256 (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = a62adc883a5ac436f80e4ae02c3c56111cf1007492f267c291139a668d2150bd SIZE (cabal/base-compat-0.12.2/base-compat-0.12.2.tar.gz) = 36393 SHA256 (cabal/base-compat-batteries-0.12.2/base-compat-batteries-0.12.2.tar.gz) = ede9092e07f904e0759160bf1ecd3fb7eb043bae6dc89a37c3dc94829ec5eb99 SIZE (cabal/base-compat-batteries-0.12.2/base-compat-batteries-0.12.2.tar.gz) = 17645 SHA256 (cabal/base-orphans-0.8.8.2/base-orphans-0.8.8.2.tar.gz) = 61cae7063884128dc98596ab7d8e6d896f6b0fa3da4e12310c850c8c08825092 SIZE (cabal/base-orphans-0.8.8.2/base-orphans-0.8.8.2.tar.gz) = 25461 SHA256 (cabal/bifunctors-5.5.15/bifunctors-5.5.15.tar.gz) = d6359d50d359dd6048dbf6d56c7628211a1785aab9174177faa6d2d8b0d9e3b7 SIZE (cabal/bifunctors-5.5.15/bifunctors-5.5.15.tar.gz) = 47395 SHA256 (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 2cdc998c021d3a5f2a66a95138b93386271c26a117e7676d78264a90e536af67 SIZE (cabal/blaze-builder-0.4.2.2/blaze-builder-0.4.2.2.tar.gz) = 60707 SHA256 (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = f0017df374c330de0ebe0eb15eae8c48427bddefa1d81a3cb31c0a4812ecdb08 SIZE (cabal/blaze-builder-0.4.2.2/revision/1.cabal) = 3685 SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617 SHA256 (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 74b89ffa665891f528f571ce9e3c2dce24f698563f14b6f5e9e0512eccdf5dc2 SIZE (cabal/blaze-html-0.9.1.2/revision/2.cabal) = 3062 SHA256 (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 43fc3f6872dc8d1be8d0fe091bd4775139b42179987f33d6490a7c5f1e07a349 SIZE (cabal/blaze-markup-0.8.2.8/blaze-markup-0.8.2.8.tar.gz) = 14519 SHA256 (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 8a47373003f472e851afbc3332bb9e0bf1b539a0dfad631bceb704332749c6c2 SIZE (cabal/blaze-markup-0.8.2.8/revision/3.cabal) = 2293 SHA256 (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 38e1782e8a458f342a0acbb74af8f55cb120756bc3af7ee7220d955812af56c3 SIZE (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 7598 SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406 SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609 SHA256 (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13 SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227 SHA256 (cabal/comonad-5.0.8/revision/1.cabal) = 1f1aabd73ec7f80f20cf078a748a60cd48d8e57277802fdf6a9ab3601a9b8f7e SIZE (cabal/comonad-5.0.8/revision/1.cabal) = 3631 SHA256 (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 062fd66580d7aad0b5ba93e644ffa7feee69276ef50f20d4ed9f1deb7642dffa SIZE (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 13815 SHA256 (cabal/data-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 1bb6eca0b3e02d057fe7f4e14c81ef395216f421ab30fdaa1b18017c9c025600 SIZE (cabal/data-array-byte-0.1.0.1/data-array-byte-0.1.0.1.tar.gz) = 6784 SHA256 (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 2ef1bd3511e82ba56f7f23cd793dd2da84338a1e7c2cbea5b151417afe3baada SIZE (cabal/data-array-byte-0.1.0.1/revision/1.cabal) = 1989 SHA256 (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 3a172d3bc0639c327345e965f9d9023e099425814b28dcdb7b60ff66d66219cc SIZE (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 5842 SHA256 (cabal/data-fix-0.3.2/revision/3.cabal) = bdea17f6b17c1d327f53ae6806e1bc3ca7813b46742a93c6088c72837c8ae77c SIZE (cabal/data-fix-0.3.2/revision/3.cabal) = 1706 SHA256 (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 9117dd49013ca28ff188fc71c3595ac3af23d56d301c1f39bac93d44d8c60bbe SIZE (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 8504 SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91 SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140 SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996 SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115 SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667 SHA256 (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 3e8885ee2f56ad4da940f043ae8f981ee2fe336b5e8e4ba3f7436cff4f526c4a SIZE (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 13228 SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b888642d10116e43809f9da6023d9fc6f67d2656ee SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351 SHA256 (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310 SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870 SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332 SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756 SHA256 (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409 SHA256 (cabal/hashable-1.4.2.0/hashable-1.4.2.0.tar.gz) = 1b4000ea82b81f69d46d0af4152c10c6303873510738e24cfc4767760d30e3f8 SIZE (cabal/hashable-1.4.2.0/hashable-1.4.2.0.tar.gz) = 25094 SHA256 (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 516858ee7198b1fed1b93c665157f9855fd947379db7f115d48c1b0d670e698d SIZE (cabal/indexed-traversable-0.1.2/indexed-traversable-0.1.2.tar.gz) = 8685 SHA256 (cabal/indexed-traversable-0.1.2/revision/2.cabal) = 52a1b708abd921f91a5977f6ae53c4aa2b33f7c30be0fff17173f658b34c5350 SIZE (cabal/indexed-traversable-0.1.2/revision/2.cabal) = 2533 SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a SIZE (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 3769 SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023 SHA256 (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 336fb40c3af19a59dbeb4e5b7bffe4b4c7fa04ab06006a8d4b70b1febc1bb4ca SIZE (cabal/integer-logarithms-1.0.3.1/revision/4.cabal) = 3262 SHA256 (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = ae0baea04d99375ef788140367179994a7178d400a8ce0d9026846546772713c SIZE (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = 13985 SHA256 (cabal/murmur-hash-0.1.0.10/murmur-hash-0.1.0.10.tar.gz) = e92fad6000823aa2dabaa55096d2bc4fe21ad347f10614fc684da23e7f48bf90 SIZE (cabal/murmur-hash-0.1.0.10/murmur-hash-0.1.0.10.tar.gz) = 4327 SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228 SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309 SHA256 (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6 SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681 SHA256 (cabal/parallel-3.2.2.0/revision/5.cabal) = 6edd5a06938cea3d28b406d5231683f89737e854af144a8800aa69e1eee785e0 SIZE (cabal/parallel-3.2.2.0/revision/5.cabal) = 1821 SHA256 (cabal/primitive-0.8.0.0/primitive-0.8.0.0.tar.gz) = 5553c21b4a789f9b591eed69e598cc58484c274af29250e517b5a8bcc62b995f SIZE (cabal/primitive-0.8.0.0/primitive-0.8.0.0.tar.gz) = 57222 SHA256 (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 3e1272f7ed6a4d7bd1712b90143ec326fee9b225789222379fea20a9c90c9b76 SIZE (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 47109 SHA256 (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1 SIZE (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 10488 SHA256 (cabal/regex-base-0.94.0.2/revision/1.cabal) = 4ff4425c710cddf440dfbac6cd52310bb6b23e17902390ff71c9fc7eaafc4fcc SIZE (cabal/regex-base-0.94.0.2/revision/1.cabal) = 2643 SHA256 (cabal/regex-tdfa-1.3.2/regex-tdfa-1.3.2.tar.gz) = 2660d7dc5f00718c39454c844d354dea26d605db9864f80951efad5f7284dfd1 SIZE (cabal/regex-tdfa-1.3.2/regex-tdfa-1.3.2.tar.gz) = 82839 SHA256 (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = a3a121c4b3d68fb8b9f8c709ab012e48f090ed553609247a805ad070d6b343a9 SIZE (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = 24723 SHA256 (cabal/scientific-0.3.7.0/revision/4.cabal) = 57451a0a7f62af85958c21a8ef79358c8a45b467f39d78ee5d51074d12e4c718 SIZE (cabal/scientific-0.3.7.0/revision/4.cabal) = 4854 SHA256 (cabal/semialign-1.2.0.1/semialign-1.2.0.1.tar.gz) = d900697041ae4b0cca3243273a2b3e80bcf74d937405d6a5ff34dc33ee952132 SIZE (cabal/semialign-1.2.0.1/semialign-1.2.0.1.tar.gz) = 10371 SHA256 (cabal/semialign-1.2.0.1/revision/3.cabal) = ee3468e349e72ec0a604ae05573a4de7181d97d10366254244a0cca8a76d6c35 SIZE (cabal/semialign-1.2.0.1/revision/3.cabal) = 2852 SHA256 (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 6d45cdb6c58c75ca588859b80b2c92b6f48590a03e065c24ce5d767a6a963799 SIZE (cabal/semigroupoids-5.3.7/semigroupoids-5.3.7.tar.gz) = 35349 SHA256 (cabal/semigroupoids-5.3.7/revision/1.cabal) = ac093739682f0dc7a37698b423590dc0f1ca89fed908fbbc5a73a44beefa7d18 SIZE (cabal/semigroupoids-5.3.7/revision/1.cabal) = 7721 SHA256 (cabal/split-0.2.3.5/split-0.2.3.5.tar.gz) = bf8aa8d610354a2b576946a6c838251ec5988c8374100638e6b2604513b93159 SIZE (cabal/split-0.2.3.5/split-0.2.3.5.tar.gz) = 15746 SHA256 (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 6d065402394e7a9117093dbb4530a21342c9b1e2ec509516c8a8d0ffed98ecaa SIZE (cabal/splitmix-0.1.0.4/splitmix-0.1.0.4.tar.gz) = 22382 SHA256 (cabal/splitmix-0.1.0.4/revision/2.cabal) = db25c2e17967aa6b6046ab8b1b96ba3f344ca59a62b60fb6113d51ea305a3d8e SIZE (cabal/splitmix-0.1.0.4/revision/2.cabal) = 6537 SHA256 (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = dff6abc08ad637e51891bb8b475778c40926c51219eda60fd64f0d9680226241 SIZE (cabal/strict-0.4.0.1/strict-0.4.0.1.tar.gz) = 12488 SHA256 (cabal/strict-0.4.0.1/revision/4.cabal) = d6205a748eb8db4cd17a7179be970c94598809709294ccfa43159c7f3cc4bf5d SIZE (cabal/strict-0.4.0.1/revision/4.cabal) = 4187 SHA256 (cabal/tagged-0.8.7/tagged-0.8.7.tar.gz) = 6414eeac27a1633f49e2f78199ced99ce8ce3d70b658cf6d55b1d81ff60cb961 SIZE (cabal/tagged-0.8.7/tagged-0.8.7.tar.gz) = 10082 SHA256 (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = a35ec6cde2ada084c1a050dc5885be5ab01f851b93d744cf0facbc1c18002dda SIZE (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = 25113 SHA256 (cabal/text-short-0.1.5/revision/1.cabal) = ebb77383743e214138cf9387875bc7d2665c5584b2e489fe1461240f19e7b53e SIZE (cabal/text-short-0.1.5/revision/1.cabal) = 3161 SHA256 (cabal/th-abstraction-0.5.0.0/th-abstraction-0.5.0.0.tar.gz) = 8258dc3ab7188af5826e2467032b52a931a3af4d8a93d4a094210e240a8a9964 SIZE (cabal/th-abstraction-0.5.0.0/th-abstraction-0.5.0.0.tar.gz) = 40093 SHA256 (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = d8f97ac14ab47b6b8a7b0fdb4ff95426322ec56badd01652ac15da4a44d4bab8 SIZE (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = 14838 SHA256 (cabal/th-compat-0.1.4/revision/2.cabal) = e5ae7c083ef3a22248558f8451669bb1c55ea8090f5908b86b9033743c161730 SIZE (cabal/th-compat-0.1.4/revision/2.cabal) = 3224 SHA256 (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = d798c9f56e17def441e8f51e54cc11afdb3e76c6a9d1e9ee154e9a78da0bf508 SIZE (cabal/these-1.1.1.1/these-1.1.1.1.tar.gz) = 9804 SHA256 (cabal/these-1.1.1.1/revision/6.cabal) = 2991c13e264b0c35c696c8f5f85c428c53bc42e93b1dfbd19a582052112d948a SIZE (cabal/these-1.1.1.1/revision/6.cabal) = 2748 SHA256 (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = ad07bb00eb9678c2136d3680752b00acc4cbc522654bb3199bf31c61ef1e6b80 SIZE (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = 59964 SHA256 (cabal/time-compat-1.9.6.1/revision/4.cabal) = 5cf5fa19d32742816fa1423085cbfd626aef433101c0b97bf0e8f720a6f369d8 SIZE (cabal/time-compat-1.9.6.1/revision/4.cabal) = 5047 SHA256 (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90 SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902 SHA256 (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485 SHA256 (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 1b27bec5e0d522b27a6029ebf4c4a6d40acbc083c787008e32fb55c4b1d128d2 SIZE (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 58030 SHA256 (cabal/unordered-containers-0.2.19.1/revision/1.cabal) = db11042bb0356c0adea277d0794743829125b4c99455af6af2bd5f7bd5e88a39 SIZE (cabal/unordered-containers-0.2.19.1/revision/1.cabal) = 3797 SHA256 (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = c79c624257833841a22890e4d2b0ab07e4be88e0f99474d328223815c0814252 SIZE (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = 3506 SHA256 (cabal/uri-encode-1.5.0.7/revision/2.cabal) = f255fed3d51f87016d2ca65cbc8c31d0af7618b3f48dccc50faf3e53e2daf50e SIZE (cabal/uri-encode-1.5.0.7/revision/2.cabal) = 2341 SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726 SHA256 (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = ad68b89b7a64c07dd5c250a11be2033ee929318ff51ec7b4e4b54e1b4deba7dd SIZE (cabal/uuid-types-1.0.5/uuid-types-1.0.5.tar.gz) = 11922 SHA256 (cabal/uuid-types-1.0.5/revision/3.cabal) = 9ca76986e3950af5e908502be2373e2292d6dc57ec10f5aeb41d7dc3a1961782 SIZE (cabal/uuid-types-1.0.5/revision/3.cabal) = 2622 SHA256 (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = c5d3167d15e12f52e00879ddf304a591672a74e369cc47bc5c7fa1d5a8d15b4f SIZE (cabal/vector-0.13.0.0/vector-0.13.0.0.tar.gz) = 154509 SHA256 (cabal/vector-0.13.0.0/revision/3.cabal) = fa5cac81a17a5af388716792e8b99c24b3b66770086756d0d8b23f8272a0244c SIZE (cabal/vector-0.13.0.0/revision/3.cabal) = 9112 SHA256 (cabal/vector-hashtables-0.1.1.2/vector-hashtables-0.1.1.2.tar.gz) = a2f9f9a2e34d20e1e1fcab2f29d59912dd8abd26beff90f878a5868793df3243 SIZE (cabal/vector-hashtables-0.1.1.2/vector-hashtables-0.1.1.2.tar.gz) = 18770 SHA256 (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = a888210f6467f155090653734be5cc920406a07227e0d3adb59096716fdb806c SIZE (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = 12377 SHA256 (cabal/vector-stream-0.1.0.0/revision/2.cabal) = f5d6d5291cd1b5f2f063403593f1f5c8127d692c888eedeb3e1eb40497a88dca SIZE (cabal/vector-stream-0.1.0.0/revision/2.cabal) = 1404 SHA256 (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd89104439860675a9410f70f21912973ecd9098b4104 SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876 SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8 SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342 SHA256 (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 9eaa989ad4534438b5beb51c1d3a4c8f6a088fdff0b259a5394fbf39aaee04da SIZE (cabal/zlib-0.6.3.0/zlib-0.6.3.0.tar.gz) = 369595 SHA256 (cabal/zlib-0.6.3.0/revision/1.cabal) = 9adce39e4ca0b7a87d45df0a243134816c57059a08e28cff5469c98ae1f54dfc SIZE (cabal/zlib-0.6.3.0/revision/1.cabal) = 5367

Collapse this list.

No package information for this port in our database
Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link: pkg-fallout
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. emacs : editors/emacs
  2. ghc : lang/ghc
  3. cabal : devel/hs-cabal-install
Library dependencies:
  1. libgmp.so : math/gmp
  2. libffi.so : devel/libffi
There are no ports dependent upon this port
Configuration Options:
No options to configure
Options name:
math_hs-Agda
USES:
cabal
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (2 items)
Collapse this list.
  1. http://hackage.haskell.org/package/
  2. https://hackage.haskell.org/package/
Collapse this list.

Number of commits found: 1

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.6.3_1
06 Sep 2023 19:23:16
commit hash: a342d4bfae3b949a9ac16637da684a00f5221c97commit hash: a342d4bfae3b949a9ac16637da684a00f5221c97commit hash: a342d4bfae3b949a9ac16637da684a00f5221c97commit hash: a342d4bfae3b949a9ac16637da684a00f5221c97 files touched by this commit		 Gleb Popov (arrowd) search for other commits by this committer 
math/hs-Agda: Unbreak emacs stuff.

Reported by:	pkg-fallout

(cherry picked from commit fa64017c84e0d09ccca99a66dfffa2befbd9e139)

Number of commits found: 1
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
gitlabJan 08
tomcat101Dec 29
tomcat9Dec 29
vaultwardenDec 20
chromiumDec 19
ungoogled-chromiumDec 19
forgejo*Dec 18
forgejo7*Dec 18
liboqsDec 18
forgejoDec 17
forgejoDec 17
giteaDec 17
giteaDec 17
giteaDec 17
zeekDec 16

2 vulnerabilities affecting 50 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-01-08 19:11:04 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33192
Broken 110
Deprecated 227
Ignore 231
Forbidden 1
Restricted 1
No CDROM 1
Vulnerable 29
Expired 13
Set to expire 192
Interactive 0
new 24 hours 7
new 48 hours14
new 7 days23
new fortnight80
new month175
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.