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 2025Q1
hs-Agda Dependently typed functional programming language and proof assistant
2.7.0.1_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 Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one.
Maintainer: haskell@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2025-04-02 06:12:08
Last Update: 2025-04-02 06:09:22
Commit Hash: 9eebe0d
Also Listed In: haskell
License: MIT
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 (81 items)
Collapse this list.
  1. /usr/local/share/licenses/hs-Agda-2.7.0.1_1/catalog.mk
  2. /usr/local/share/licenses/hs-Agda-2.7.0.1_1/LICENSE
  3. /usr/local/share/licenses/hs-Agda-2.7.0.1_1/MIT
  4. share/Agda/lib/prim/Agda/Builtin/Bool.agda
  5. share/Agda/lib/prim/Agda/Builtin/Char.agda
  6. share/Agda/lib/prim/Agda/Builtin/Char/Properties.agda
  7. share/Agda/lib/prim/Agda/Builtin/Coinduction.agda
  8. share/Agda/lib/prim/Agda/Builtin/Cubical/Equiv.agda
  9. share/Agda/lib/prim/Agda/Builtin/Cubical/Glue.agda
  10. share/Agda/lib/prim/Agda/Builtin/Cubical/HCompU.agda
  11. share/Agda/lib/prim/Agda/Builtin/Cubical/Id.agda
  12. share/Agda/lib/prim/Agda/Builtin/Cubical/Path.agda
  13. share/Agda/lib/prim/Agda/Builtin/Cubical/Sub.agda
  14. share/Agda/lib/prim/Agda/Builtin/Equality.agda
  15. share/Agda/lib/prim/Agda/Builtin/Equality/Erase.agda
  16. share/Agda/lib/prim/Agda/Builtin/Equality/Rewrite.agda
  17. share/Agda/lib/prim/Agda/Builtin/Float.agda
  18. share/Agda/lib/prim/Agda/Builtin/Float/Properties.agda
  19. share/Agda/lib/prim/Agda/Builtin/FromNat.agda
  20. share/Agda/lib/prim/Agda/Builtin/FromNeg.agda
  21. share/Agda/lib/prim/Agda/Builtin/FromString.agda
  22. share/Agda/lib/prim/Agda/Builtin/IO.agda
  23. share/Agda/lib/prim/Agda/Builtin/Int.agda
  24. share/Agda/lib/prim/Agda/Builtin/List.agda
  25. share/Agda/lib/prim/Agda/Builtin/Maybe.agda
  26. share/Agda/lib/prim/Agda/Builtin/Nat.agda
  27. share/Agda/lib/prim/Agda/Builtin/Reflection.agda
  28. share/Agda/lib/prim/Agda/Builtin/Reflection/External.agda
  29. share/Agda/lib/prim/Agda/Builtin/Reflection/Properties.agda
  30. share/Agda/lib/prim/Agda/Builtin/Sigma.agda
  31. share/Agda/lib/prim/Agda/Builtin/Size.agda
  32. share/Agda/lib/prim/Agda/Builtin/Strict.agda
  33. share/Agda/lib/prim/Agda/Builtin/String.agda
  34. share/Agda/lib/prim/Agda/Builtin/String/Properties.agda
  35. share/Agda/lib/prim/Agda/Builtin/TrustMe.agda
  36. share/Agda/lib/prim/Agda/Builtin/Unit.agda
  37. share/Agda/lib/prim/Agda/Builtin/Word.agda
  38. share/Agda/lib/prim/Agda/Builtin/Word/Properties.agda
  39. share/Agda/lib/prim/Agda/Primitive.agda
  40. share/Agda/lib/prim/Agda/Primitive/Cubical.agda
  41. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Bool.agdai
  42. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Char.agdai
  43. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Char/Properties.agdai
  44. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Coinduction.agdai
  45. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Cubical/Equiv.agdai
  46. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Cubical/Glue.agdai
  47. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Cubical/HCompU.agdai
  48. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Cubical/Id.agdai
  49. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Cubical/Path.agdai
  50. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Cubical/Sub.agdai
  51. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Equality.agdai
  52. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Equality/Erase.agdai
  53. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Equality/Rewrite.agdai
  54. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Float.agdai
  55. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Float/Properties.agdai
  56. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/FromNat.agdai
  57. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/FromNeg.agdai
  58. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/FromString.agdai
  59. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/IO.agdai
  60. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Int.agdai
  61. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/List.agdai
  62. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Maybe.agdai
  63. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Nat.agdai
  64. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Reflection.agdai
  65. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Reflection/External.agdai
  66. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Reflection/Properties.agdai
  67. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Sigma.agdai
  68. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Size.agdai
  69. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Strict.agdai
  70. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/String.agdai
  71. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/String/Properties.agdai
  72. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/TrustMe.agdai
  73. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Unit.agdai
  74. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Word.agdai
  75. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Builtin/Word/Properties.agdai
  76. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Primitive.agdai
  77. share/Agda/lib/prim/_build/2.7.0.1/agda/Agda/Primitive/Cubical.agdai
  78. share/Agda/lib/prim/agda-builtins.agda-lib
  79. @owner
  80. @group
  81. @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 = 1726698029 SHA256 (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 34f6d60a4d4ef7d1946b785e1ed1e410906546151419da9823c03bdf5705f68e SIZE (cabal/Agda-2.7.0.1/Agda-2.7.0.1.tar.gz) = 1884553

Expand this list (218 items)

Collapse this list.

SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55 SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207 SHA256 (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = a3b2216ddbaf481dbc82414b6120f8b726d969db3f0b51f20a7a45425ef36e7f SIZE (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = 81502 SHA256 (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 839eff14d9f1d2d37f485edf116740d996e1ee9fa82ca2e0a73dfcae0ad5b851 SIZE (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 7458 SHA256 (cabal/STMonadTrans-0.4.8/revision/1.cabal) = 229e84983eba8df59e5da922afd25c77403577c3cc9120ea9c59693ec9a3b52e SIZE (cabal/STMonadTrans-0.4.8/revision/1.cabal) = 2101 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.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855 SHA256 (cabal/aeson-2.2.3.0/revision/2.cabal) = 011fa2d67d7a821aa5ec5c825adc919bb067d42dde8fac7c6e5db23239a58866 SIZE (cabal/aeson-2.2.3.0/revision/2.cabal) = 6589 SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07 SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982 SHA256 (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c SIZE (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 35398 SHA256 (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = f2e5333eb78da5f4dd330fca0c81a59276cc150c625647cd20f57b7f297a5d25 SIZE (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = 4746 SHA256 (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6 SIZE (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 3158 SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7 SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742 SHA256 (cabal/async-2.2.5/revision/2.cabal) = cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35 SIZE (cabal/async-2.2.5/revision/2.cabal) = 3257 SHA256 (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = f146de664ac838ebe18ec9360df82da3660149dc7d51fd29bcb61d653b799c50 SIZE (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = 42744 SHA256 (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 6211900916955b84687c61b5e4fa98ce110e511a96086b7a93f06dd63c97ba93 SIZE (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 26705 SHA256 (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 1086a9285061eed0c2c5d3cb65aa223defd52fca6d0515bb69ddf2dbc3d9697a SIZE (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 38193 SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777 SHA256 (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f SIZE (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 81915 SHA256 (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 85c42f84f4ead2c48844fbe0865069add3bb3bb3322d38607e93d5515a4c9c58 SIZE (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 3087 SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8 SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647 SHA256 (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 027f218b81d28a7c0a33b93d456c4e5aa92d145e9dcee14834fbad73a39ad7e4 SIZE (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 2360 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/character-ps-0.1/character-ps-0.1.tar.gz) = 22de71fde38b236d3e9168a832b5e1e75d1fb4f4028667bdf747b3b4c8c1529c SIZE (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 8192 SHA256 (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee564b6b1fa98a9ec79cefcc20b588991f871 SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675 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/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3 SIZE (cabal/comonad-5.0.8/revision/2.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-fix-0.3.4/data-fix-0.3.4.tar.gz) = 8df052d18c047ab9e9200536a8799b5af3997ebecbbb091a7384b6be8416ab37 SIZE (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 5992 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/dlist-1.0/revision/2.cabal) = 854727594c5a816ab3d10f15b1bc4fedaf9e3f7d1ef517a2bb9011f29ba261d2 SIZE (cabal/dlist-1.0/revision/2.cabal) = 3942 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/generically-0.1.1/revision/3.cabal) = 1b1b638ac022d2404becb6c117b04bfdc2247429ba58596271ca2cdc413288c2 SIZE (cabal/generically-0.1.1/revision/3.cabal) = 1203 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.5.0.0/hashable-1.5.0.0.tar.gz) = e58b3a8e18da5f6cd7e937e5fd683e500bb1f8276b3768269759119ca0cddb6a SIZE (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = 89062 SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76 SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517 SHA256 (cabal/hsc2hs-0.68.10/revision/2.cabal) = 60e78b6c60dc32a77ce6c37ed5ca4e838fc5f76f02836ef64d93cd21cc002325 SIZE (cabal/hsc2hs-0.68.10/revision/2.cabal) = 3032 SHA256 (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 58be09afdf3ad5a25c2aa0d2a7df80d602df09f4e76d3abf2b7cdb0e75d03b22 SIZE (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 9465 SHA256 (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3c2bb62fba141d6696177070d63b88bc56b194bc60f6b73d2263b0244e2fc7c1 SIZE (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3673 SHA256 (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = c18164a048073310f6353ebc64c9037b52a4b8299963ce05e027bcf60e22155a SIZE (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = 6179 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/6.cabal) = 0595a16d458c9c5caa425dc8ebbeb5d9adffb0c8daf4720c1d93dfcfc31dd690 SIZE (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 3295 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/murmur-hash-0.1.0.10/revision/1.cabal) = 036a54f21ac180681e3799e6288ca32765fa3af8ada41fd4dd73a8a5e1e894a3 SIZE (cabal/murmur-hash-0.1.0.10/revision/1.cabal) = 1222 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/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588 SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217 SHA256 (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 22fcc7d5fc66676b5dfc57b714d2caf93cce2d5a79d242168352f9eb0fe2f18a SIZE (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 44363 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/8.cabal) = b9cf0b07fdff16f503487a4daa1e40a1f1f6c10974b4f15d6dfd5f243a643e31 SIZE (cabal/parallel-3.2.2.0/revision/8.cabal) = 1942 SHA256 (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 8a8fe8718dba5b1a6133e1d9eae5ba69ca76028f59d088985a8489446ac74261 SIZE (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915 SHA256 (cabal/pqueue-1.5.0.0/pqueue-1.5.0.0.tar.gz) = 1bf88b8d2c4ac90dee3000684b6e0078502dc5a1030528b687aa143b3ecc1f02 SIZE (cabal/pqueue-1.5.0.0/pqueue-1.5.0.0.tar.gz) = 42173 SHA256 (cabal/pqueue-1.5.0.0/revision/2.cabal) = 7dadcc2a66f0f91bea789b450355a5ce9ebdc697af8c817f9e3200e856c8adaa SIZE (cabal/pqueue-1.5.0.0/revision/2.cabal) = 3896 SHA256 (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7 SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580 SHA256 (cabal/primitive-0.9.0.0/revision/1.cabal) = 2e08c5409e3559c7f1669ef50e9a0d9a397e68ecf51110d5e2cedf05cdd7d93c SIZE (cabal/primitive-0.9.0.0/revision/1.cabal) = 3171 SHA256 (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4 SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229 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/4.cabal) = 0322b2fcd1358f3355e0c8608efa60d27b14d1c9d476451dbcb9181363bd8b27 SIZE (cabal/regex-base-0.94.0.2/revision/4.cabal) = 2601 SHA256 (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 933ed5c54246bb50e335d86b884ffb70bc252b5f776fb291f162a80a27bd75b7 SIZE (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 83016 SHA256 (cabal/regex-tdfa-1.3.2.2/revision/3.cabal) = e5ea15b2898c62c63fae798784bc402b3862733d97a4f7ee3ec4f9ae6f447478 SIZE (cabal/regex-tdfa-1.3.2.2/revision/3.cabal) = 6997 SHA256 (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 13b343bca8aa26d7718e52e622e5a118056653edafcbc7ccc5333be7217218cf SIZE (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 24314 SHA256 (cabal/scientific-0.3.8.0/revision/1.cabal) = 2148e2e6ab1f1fd2ecee25067e0ee60da886be89736e8a54d49556407d7113ce SIZE (cabal/scientific-0.3.8.0/revision/1.cabal) = 4380 SHA256 (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 66e87bc254ffec2ee908bf625c42d3b7363238d6ab1cfba8934bbee7590c9df7 SIZE (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 10117 SHA256 (cabal/semialign-1.3.1/revision/1.cabal) = 0ebafdb9c3bfac8c5311999ae195115c1452a205b273d54e7b1145a65c1bf610 SIZE (cabal/semialign-1.3.1/revision/1.cabal) = 2209 SHA256 (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 1d532030862414f5d4f2f6f001783f77aa14e5f05ee8e3c4a2d2129fca29cc1f SIZE (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 36372 SHA256 (cabal/semigroupoids-6.0.1/revision/1.cabal) = f65892f65f941c7368334bdfdcdb9db2ad3952502e94e88785a5a428fa2f3f4e SIZE (cabal/semigroupoids-6.0.1/revision/1.cabal) = 7539 SHA256 (cabal/split-0.2.5/split-0.2.5.tar.gz) = 52da404e8397c1ab238354c8d4fd9a7e9c5cac8849cc2ce2e45facc85e74a913 SIZE (cabal/split-0.2.5/split-0.2.5.tar.gz) = 16008 SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002 SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399 SHA256 (cabal/splitmix-0.1.0.5/revision/1.cabal) = caa9b4a92abf1496c7f6a3c0f4e357426a54880077cb9f04e260a8bfa034b77b SIZE (cabal/splitmix-0.1.0.5/revision/1.cabal) = 6596 SHA256 (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 77719280c2a86312e748227bfa732eeaae0e7df48d57acc3c2e5b7b07afe2f8b SIZE (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 11798 SHA256 (cabal/strict-0.5.1/revision/1.cabal) = 58c373b7c7748cbb4a5a6c8c15073f99a1c10a9a9bb6894ac33f43a5cdb901f2 SIZE (cabal/strict-0.5.1/revision/1.cabal) = 3557 SHA256 (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7 SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094 SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32 SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732 SHA256 (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202 SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599 SHA256 (cabal/text-iso8601-0.1.1/revision/1.cabal) = 0af50f6d2e8479b9a956c9c612ec270ea09df4c78c88c5b1bdd98066f576d73d SIZE (cabal/text-iso8601-0.1.1/revision/1.cabal) = 2478 SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691 SHA256 (cabal/text-short-0.1.6/revision/2.cabal) = 5953dc14c71b6047edab2dc89e922678ff5cbe2e98d16b9e7078150083940be4 SIZE (cabal/text-short-0.1.6/revision/2.cabal) = 2812 SHA256 (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = b2854c612f2fa4adfa1ecbb4089a2211fd9cb3210aec17ba4a455ae486b22721 SIZE (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = 49904 SHA256 (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 81f55fafc7afad7763c09cb8b7b4165ca3765edcf70ffa42c7393043a1382a1e SIZE (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 14893 SHA256 (cabal/th-compat-0.1.5/revision/2.cabal) = 129a59ba3ccfcd06192fd6da899e2711ae276a466915a047bd6727e4a0321d2e SIZE (cabal/th-compat-0.1.5/revision/2.cabal) = 3330 SHA256 (cabal/these-1.2.1/these-1.2.1.tar.gz) = 17d6d933365edabf801a16842c1403bdd37cc5300faa2fcca980decdab22e4de SIZE (cabal/these-1.2.1/these-1.2.1.tar.gz) = 9906 SHA256 (cabal/these-1.2.1/revision/1.cabal) = c04f573531b37864506b071046e010a7a6aad11650cf895467f9f279d0130b8b SIZE (cabal/these-1.2.1/revision/1.cabal) = 2279 SHA256 (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = c98fbea21d036c3263af186df0569b8425c87ad353b021353794743e4e631dcc SIZE (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = 57331 SHA256 (cabal/time-compat-1.9.7/revision/2.cabal) = f0bff15af6faaeff36b679e6b810fa71534b2f85a91bf98d7541dac6a469b20f SIZE (cabal/time-compat-1.9.7/revision/2.cabal) = 4486 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.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823 SHA256 (cabal/unordered-containers-0.2.20/revision/3.cabal) = c7fe9cba405ed9905e12d89c7add3b3eb9868dfba7975e70ba0cdd64b7b11abc SIZE (cabal/unordered-containers-0.2.20/revision/3.cabal) = 3921 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/3.cabal) = 1b432e4fe43da8059feaeb6b4e973c2c4481ee86829d528f2be78a0e3645ec00 SIZE (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 2462 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.6/uuid-types-1.0.6.tar.gz) = 7e0dd953483d6fd3ca49bcaed6b11f9e3c2787213479b2581e07747836b8357e SIZE (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 11222 SHA256 (cabal/uuid-types-1.0.6/revision/1.cabal) = 595644500d36908be85cd02fb446c411555ecc5c59b7ce33d1205cfc9ceb55a6 SIZE (cabal/uuid-types-1.0.6/revision/1.cabal) = 2604 SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855 SHA256 (cabal/vector-0.13.1.0/revision/1.cabal) = bc032ccfb51d775eb6f4082c5fc02f5416b0ea0d6644a60d87677a6937f2d70d SIZE (cabal/vector-0.13.1.0/revision/1.cabal) = 9015 SHA256 (cabal/vector-hashtables-0.1.2.0/vector-hashtables-0.1.2.0.tar.gz) = 39a9aaf451cf9e6c299904dfb02f13afaffe151d553014c1da2f07e3481b0ce8 SIZE (cabal/vector-hashtables-0.1.2.0/vector-hashtables-0.1.2.0.tar.gz) = 25681 SHA256 (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = d0f507334bdea5431a2f07f525a97f29e76522c32210f5de6d5a2b4f1d42bf7c SIZE (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = 12577 SHA256 (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 16a69e2ed71d7b35e16860fac520f94fa4da120eb973d9f8fbf0aa3a703d4a9f SIZE (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 1583 SHA256 (cabal/witherable-0.5/witherable-0.5.tar.gz) = 48434cc1e465b13cbc0133a90c3ec0d827c93b77ce95807fe0a38b65f4918cd1 SIZE (cabal/witherable-0.5/witherable-0.5.tar.gz) = 10819 SHA256 (cabal/witherable-0.5/revision/1.cabal) = 85bab588ebca37996fc3171b9d8b2e065eb0536c9f44224bcf037c0849a881de SIZE (cabal/witherable-0.5/revision/1.cabal) = 2343 SHA256 (cabal/zlib-0.7.1.0/zlib-0.7.1.0.tar.gz) = 6edd38b6b81df8d274952aa85affa6968ae86b2231e1d429ce8bc9083e6a55bc SIZE (cabal/zlib-0.7.1.0/zlib-0.7.1.0.tar.gz) = 29318 SHA256 (cabal/zlib-0.7.1.0/revision/1.cabal) = bae1c5a6092d65c5e763246f91e04fef3f43e37cb055130725c9a973c88a250f SIZE (cabal/zlib-0.7.1.0/revision/1.cabal) = 5223

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@nox
  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.7.0.1_1
02 Apr 2025 06:09:22
commit hash: 9eebe0d6a486f7600748c78bd28a9e347f963ea4commit hash: 9eebe0d6a486f7600748c78bd28a9e347f963ea4commit hash: 9eebe0d6a486f7600748c78bd28a9e347f963ea4commit hash: 9eebe0d6a486f7600748c78bd28a9e347f963ea4 files touched by this commit		 Gleb Popov (arrowd) search for other commits by this committer 
math/hs-Agda: Disable building emacs mode files until upstream fixes it

See https://github.com/agda/agda/issues/7730
Reported by:	pkg-fallout

(cherry picked from commit e1197b1e58b2cdb5f98b4fd00db2e340800b444f)

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
openvpnApr 02
openvpn-develApr 02
giteaMar 31
firefoxMar 30
firefox-esrMar 30
librewolfMar 30
suricataMar 30
thunderbirdMar 30
qt6-pdfMar 29
qt6-webengineMar 29
electron33Mar 28
electron34Mar 28
gitlabMar 26
electron33Mar 25
electron34Mar 25

11 vulnerabilities affecting 299 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-04-02 19:38:06 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33251
Broken 130
Deprecated 283
Ignore 245
Forbidden 1
Restricted 2
No CDROM 1
Vulnerable 25
Expired 33
Set to expire 240
Interactive 0
new 24 hours 1
new 48 hours2
new 7 days21
new fortnight38
new month100
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.