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
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

Port details
hs-Agda Dependently typed functional programming language and proof assistant
2.6.4.3 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: 2010-01-04 03:26:01
Last Update: 2024-03-16 11:58:29
Commit Hash: d9edbdd
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

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (98 items)
Collapse this list.
  1. /usr/local/share/licenses/hs-Agda-2.6.4.3/catalog.mk
  2. /usr/local/share/licenses/hs-Agda-2.6.4.3/LICENSE
  3. /usr/local/share/licenses/hs-Agda-2.6.4.3/MIT
  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/Char.agda
  23. share/Agda/lib/prim/Agda/Builtin/Char/Properties.agda
  24. share/Agda/lib/prim/Agda/Builtin/Coinduction.agda
  25. share/Agda/lib/prim/Agda/Builtin/Cubical/Equiv.agda
  26. share/Agda/lib/prim/Agda/Builtin/Cubical/Glue.agda
  27. share/Agda/lib/prim/Agda/Builtin/Cubical/HCompU.agda
  28. share/Agda/lib/prim/Agda/Builtin/Cubical/Id.agda
  29. share/Agda/lib/prim/Agda/Builtin/Cubical/Path.agda
  30. share/Agda/lib/prim/Agda/Builtin/Cubical/Sub.agda
  31. share/Agda/lib/prim/Agda/Builtin/Equality.agda
  32. share/Agda/lib/prim/Agda/Builtin/Equality/Erase.agda
  33. share/Agda/lib/prim/Agda/Builtin/Equality/Rewrite.agda
  34. share/Agda/lib/prim/Agda/Builtin/Float.agda
  35. share/Agda/lib/prim/Agda/Builtin/Float/Properties.agda
  36. share/Agda/lib/prim/Agda/Builtin/FromNat.agda
  37. share/Agda/lib/prim/Agda/Builtin/FromNeg.agda
  38. share/Agda/lib/prim/Agda/Builtin/FromString.agda
  39. share/Agda/lib/prim/Agda/Builtin/IO.agda
  40. share/Agda/lib/prim/Agda/Builtin/Int.agda
  41. share/Agda/lib/prim/Agda/Builtin/List.agda
  42. share/Agda/lib/prim/Agda/Builtin/Maybe.agda
  43. share/Agda/lib/prim/Agda/Builtin/Nat.agda
  44. share/Agda/lib/prim/Agda/Builtin/Reflection.agda
  45. share/Agda/lib/prim/Agda/Builtin/Reflection/External.agda
  46. share/Agda/lib/prim/Agda/Builtin/Reflection/Properties.agda
  47. share/Agda/lib/prim/Agda/Builtin/Sigma.agda
  48. share/Agda/lib/prim/Agda/Builtin/Size.agda
  49. share/Agda/lib/prim/Agda/Builtin/Strict.agda
  50. share/Agda/lib/prim/Agda/Builtin/String.agda
  51. share/Agda/lib/prim/Agda/Builtin/String/Properties.agda
  52. share/Agda/lib/prim/Agda/Builtin/TrustMe.agda
  53. share/Agda/lib/prim/Agda/Builtin/Unit.agda
  54. share/Agda/lib/prim/Agda/Builtin/Word.agda
  55. share/Agda/lib/prim/Agda/Builtin/Word/Properties.agda
  56. share/Agda/lib/prim/Agda/Primitive.agda
  57. share/Agda/lib/prim/Agda/Primitive/Cubical.agda
  58. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Bool.agdai
  59. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Char.agdai
  60. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Char/Properties.agdai
  61. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Coinduction.agdai
  62. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Cubical/Equiv.agdai
  63. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Cubical/Glue.agdai
  64. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Cubical/HCompU.agdai
  65. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Cubical/Id.agdai
  66. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Cubical/Path.agdai
  67. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Cubical/Sub.agdai
  68. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Equality.agdai
  69. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Equality/Erase.agdai
  70. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Equality/Rewrite.agdai
  71. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Float.agdai
  72. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Float/Properties.agdai
  73. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/FromNat.agdai
  74. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/FromNeg.agdai
  75. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/FromString.agdai
  76. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/IO.agdai
  77. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Int.agdai
  78. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/List.agdai
  79. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Maybe.agdai
  80. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Nat.agdai
  81. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Reflection.agdai
  82. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Reflection/External.agdai
  83. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Reflection/Properties.agdai
  84. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Sigma.agdai
  85. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Size.agdai
  86. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Strict.agdai
  87. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/String.agdai
  88. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/String/Properties.agdai
  89. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/TrustMe.agdai
  90. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Unit.agdai
  91. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Word.agdai
  92. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Word/Properties.agdai
  93. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Primitive.agdai
  94. share/Agda/lib/prim/_build/2.6.4.3/agda/Agda/Primitive/Cubical.agdai
  95. share/Agda/lib/prim/agda-builtins.agda-lib
  96. @owner
  97. @group
  98. @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 = 1710558419 SHA256 (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2 SIZE (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 1869461

Expand this list (206 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/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682 SIZE (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 2575 SHA256 (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 5c0f22b36b28a1a8fa110b3819818d3f29494a3b0dedbae299f064123ca70501 SIZE (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 76849 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/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.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cbab427acee39795f125c5460c1fe48cf9a5d7f SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038 SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582 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/ansi-terminal-1.1.tar.gz) = 525d6257bebad9755fa528ce03e64c6a439fbc129aa307a14063896e4871b253 SIZE (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 34897 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/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4 SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193 SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652 SIZE (cabal/assoc-1.1/revision/1.cabal) = 1617 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/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = db1d9e8d56c8bb0066d313a3b5bc4143c021698d377f4c51b3ba010cff1e8421 SIZE (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = 41518 SHA256 (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 5bbf2da382c5b212d6a8be2f8c49edee0eba30f272a15fd32c13e6e4091ef172 SIZE (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 26418 SHA256 (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 06381471b5be16516a1b2c4b21a5101a3d991038bface8e0cad144c0044d57fc SIZE (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 38170 SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab36414c0b96a97ee046edc3ac6da7a295a94755 SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273 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-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/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9 SIZE (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = 2276 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/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.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/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1 SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734 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/1.cabal) = 55ff69d20ce638fc7727342ee67f2f868da61d3dcf3763f790bf9aa0b145e568 SIZE (cabal/dlist-1.0/revision/1.cabal) = 3812 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/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c SIZE (cabal/generically-0.1.1/revision/2.cabal) = 1169 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.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cbe5c39df9b3a9ae51e836f1a54f646bc4602b7ab0f5 SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601 SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194 SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718 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/1.cabal) = 488cca2a179a5141da8f35a3a7e6699a0ef690f834f589d6b152c4947aa8fe2d SIZE (cabal/hsc2hs-0.68.10/revision/1.cabal) = 3013 SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9 SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824 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/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 00d5e3e149e2bee0f7a547e0093294c306d4276e73a619abe7d8e69f7ce03c7b SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 2550 SHA256 (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 20ac70cf1cb65458bba2c562c209a8930e45bdb89886182d644d0a457fc46f39 SIZE (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 6166 SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5d6c242bcfbbeeaa9854fe9c8058e57052254dbb24bb14 SIZE (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 2250 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/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278 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/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/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4 SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926 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/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/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/2.cabal) = 92afd144189801dff0fa2544b55c7b6c7c7e556c10dddfb61f2d75909f68af98 SIZE (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 6997 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/7.cabal) = 909755ab19b453169ff85281323da1488407776b2360bd9f7afdd219fd306ef2 SIZE (cabal/scientific-0.3.7.0/revision/7.cabal) = 4869 SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543 SHA256 (cabal/semialign-1.3/revision/1.cabal) = 7be9ef5ca1d6b052991f68c053aab68b9d1ab3b1938c9557ac84c97937815223 SIZE (cabal/semialign-1.3/revision/1.cabal) = 2888 SHA256 (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934 SIZE (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 36222 SHA256 (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 47a23b451c114e65361e713e8fe36828fca3a84285325e8f444254b2ab0c43c5 SIZE (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 7465 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/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564 SHA256 (cabal/strict-0.5/revision/1.cabal) = bd57d7b3655951dfaa7d1e1374d7352dfe83f82a9c98309bf3a6587ef8cbd87d SIZE (cabal/strict-0.5/revision/1.cabal) = 4120 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/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = f58e7a46f951f1f13d2929e0a2f84f6db7894d55a641169aaf300aea9ada5fcf SIZE (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = 9578 SHA256 (cabal/text-iso8601-0.1/revision/1.cabal) = ac86f2500ca751db3c0de029dd7e7826bef7366d59dc0085b00fc695c43b9f76 SIZE (cabal/text-iso8601-0.1/revision/1.cabal) = 2407 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/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190 SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216 SHA256 (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 69ea6eca1f0c00b6e1e1f8329c908ec76e73855e2ce6e91ace2f8bbf92c51a30 SIZE (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 43152 SHA256 (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = d8959fa6a2812afcdd5f6f255fd6be8b3e0ca01e425586a554544fcb70b0ec7c SIZE (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = 2303 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/4.cabal) = f5f2c679ecc1c1b83d2d68db6cc564e5c78d53425e69e1b9e36784820e122d37 SIZE (cabal/th-compat-0.1.4/revision/4.cabal) = 3224 SHA256 (cabal/these-1.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8 SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606 SHA256 (cabal/these-1.2/revision/1.cabal) = 011e22f6891ca028f87c04ea48796696c92d593313a9c699f7ff4f9ffd7aec6e SIZE (cabal/these-1.2/revision/1.cabal) = 2882 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/6.cabal) = 17631ef01a03a6f55fbe131690f87f6dee9a1572acc99b6c06f04882470ffb52 SIZE (cabal/time-compat-1.9.6.1/revision/6.cabal) = 5076 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/1.cabal) = 746c32b23f93cb13e52309e54e82d69e4315105f9815b1fcac25a57071505cff SIZE (cabal/unordered-containers-0.2.20/revision/1.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.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa5eab1d213be2d4b6696b9a2c3a1f1f05812dc3762dca2c SIZE (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 11965 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-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 4c5d75a3384e76ea4c02587c2bd8123cff3c5c8aab182cee58aea38d824c715b SIZE (cabal/vector-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 15765 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/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.7.0.0/zlib-0.7.0.0.tar.gz) = 7e43c205e1e1ff5a4b033086ec8cce82ab658879e977c8ba02a6701946ff7a47 SIZE (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 369149

Collapse this list.


Packages (timestamps in pop-ups are UTC):
hs-Agda
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest2.6.4.12.6.4.1------
FreeBSD:13:quarterly2.6.3_12.6.3_1------
FreeBSD:14:latest2.6.4.12.6.4.1------
FreeBSD:14:quarterly2.6.3_12.6.3_1------
FreeBSD:15:latest2.6.4.12.6.4.1n/a-n/a---
FreeBSD:15:quarterly--n/a-n/a---
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
This port is required by:
for Build

Deleted ports which required this port:

Expand this list of 2 deleted ports
  1. math/hs-Agda-executable*
  2. math/hs-Agda-stdlib*
  3. Collapse this list of deleted ports.
for Run

Deleted ports which required this port:

Expand this list of 2 deleted ports
  1. math/hs-Agda-executable*
  2. math/hs-Agda-stdlib*
  3. Collapse this list of deleted ports.
* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

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: 61

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.6.4.3
16 Mar 2024 11:58:29
commit hash: d9edbdde5ddc9d4a517d7b61def652172f96cea9commit hash: d9edbdde5ddc9d4a517d7b61def652172f96cea9commit hash: d9edbdde5ddc9d4a517d7b61def652172f96cea9commit hash: d9edbdde5ddc9d4a517d7b61def652172f96cea9 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Author: Andrey Korobkov
math/hs-Agda: Fix LICENSE

PR:		277730
2.6.4.3
16 Mar 2024 11:51:15
commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41commit hash: 189bfde11e2d8b67defc18910b0d6f9efba40f41 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
math/hs-Agda: Fix plist

PR:		277730
Fixes:	ba61a442a89ec86117ece8c356b5c5117a67681e
2.6.4.3
16 Mar 2024 11:51:15
commit hash: 527e6c404244e02316add1fff56ecd2ef539a58ecommit hash: 527e6c404244e02316add1fff56ecd2ef539a58ecommit hash: 527e6c404244e02316add1fff56ecd2ef539a58ecommit hash: 527e6c404244e02316add1fff56ecd2ef539a58e files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Author: Andrey Korobkov
math/hs-Agda: Update to 2.6.4.3

PR:		277730
2.6.4.1
08 Feb 2024 20:07:24
commit hash: f59e1f7db55878af128e28b90b38736e6e570107commit hash: f59e1f7db55878af128e28b90b38736e6e570107commit hash: f59e1f7db55878af128e28b90b38736e6e570107commit hash: f59e1f7db55878af128e28b90b38736e6e570107 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Author: awoonya
math/hs-Agda: update to 2.6.4.1
2.6.3_1
06 Sep 2023 19:22:52
commit hash: fa64017c84e0d09ccca99a66dfffa2befbd9e139commit hash: fa64017c84e0d09ccca99a66dfffa2befbd9e139commit hash: fa64017c84e0d09ccca99a66dfffa2befbd9e139commit hash: fa64017c84e0d09ccca99a66dfffa2befbd9e139 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
2.6.3
12 Mar 2023 16:10:31
commit hash: 99662cf261c1171a7e744b513bb6a3a4cacf4269commit hash: 99662cf261c1171a7e744b513bb6a3a4cacf4269commit hash: 99662cf261c1171a7e744b513bb6a3a4cacf4269commit hash: 99662cf261c1171a7e744b513bb6a3a4cacf4269 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
math/hs-Agda: Update to 2.6.3
2.6.2.2_3
20 Nov 2022 17:39:28
commit hash: 2fca7097b9f29351f1969eca7d1837ab99782f2ecommit hash: 2fca7097b9f29351f1969eca7d1837ab99782f2ecommit hash: 2fca7097b9f29351f1969eca7d1837ab99782f2ecommit hash: 2fca7097b9f29351f1969eca7d1837ab99782f2e files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Uses/cabal.mk: Rework MASTER_SITES and DISTFILES handling.

This change removes duplicated entries from MASTER_SITES and DISTFILES
variables. Now the MASTER_SITES variable will contain single Hackage URL without
any group for the simplest case and with :_cabal_mk_hackage group in nodefault
case.

This change opens a path to using non-Hackage Cabal repositories
(needed for Cardano) and pulling in .cabal revisions without using patches.

Unfortunately, this change results in a large churn in Haskell ports distinfos.
To make this churn less useless, refresh all Haskell dependencies in all ports.
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
2.6.2.2_2
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.6.2.2_2
15 Aug 2022 13:07:25
commit hash: a04537df062a4149d0a518c1d68e54f7757f1020commit hash: a04537df062a4149d0a518c1d68e54f7757f1020commit hash: a04537df062a4149d0a518c1d68e54f7757f1020commit hash: a04537df062a4149d0a518c1d68e54f7757f1020 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
math/hs-Agda: Unbreak and enable compiling emacs mode files.
2.6.2.2_1
28 Jul 2022 19:52:56
commit hash: 166cea3628c726601ebfd9a5497a4808015eebd3commit hash: 166cea3628c726601ebfd9a5497a4808015eebd3commit hash: 166cea3628c726601ebfd9a5497a4808015eebd3commit hash: 166cea3628c726601ebfd9a5497a4808015eebd3 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Uses/cabal.mk: Introduce CABAL_WRAPPER_SCRIPTS variable.

Before this change every Haskell executable was wrapped into a shell script
which was installed into ${PREFIX}/bin while the actual executable was installed
into {PREFIX}/libexec/cabal. This was required to set env variables pointing the
Haskell program to its data files under ${PREFIX}/share. However, not every
Haskell program uses this feature.

Now the shell wrapping is off by default and CABAL_WRAPPER_SCRIPTS knob can be
used to enable it for a given port/executable.

Adjust all Haskell ports affected by this change.
2.6.2.2_1
20 Jul 2022 14:22:24
commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5dacommit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5dacommit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5dacommit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
math: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Alessando Sagratini <ale_sagra@hotmail.com>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Amarendra Godbole <amarendra.godbole@gmail.com>
  *  Anders Nordby <anders@FreeBSD.org>
  *  Andreas Fehlner (fehlner@gmx.de)
  *  Andrew L. Neporada <andrew@chg.ru>
  *  Andrey <gugu@zoo.rambler.ru>
  *  Andrey Zakhvatov
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.6.2.2_1
07 Jul 2022 10:24:34
commit hash: 49930702bb6e3a298d29e9cec1595438fd6e0841commit hash: 49930702bb6e3a298d29e9cec1595438fd6e0841commit hash: 49930702bb6e3a298d29e9cec1595438fd6e0841commit hash: 49930702bb6e3a298d29e9cec1595438fd6e0841 files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
math/hs-Agda: Update to 2.6.2.2
2.6.2_1
09 May 2022 19:23:51
commit hash: db78da8f8b7388d951665362479eb4aa0babf1b4commit hash: db78da8f8b7388d951665362479eb4aa0babf1b4commit hash: db78da8f8b7388d951665362479eb4aa0babf1b4commit hash: db78da8f8b7388d951665362479eb4aa0babf1b4 files touched by this commit
Kevin Bowling (kbowling) search for other commits by this committer
devel/libffi: Bump deps PORTREVISION for shlib change

PR:		263764
Reported by:	VVD <vvd@unislabs.com>
2.6.2
22 Oct 2021 14:25:14
commit hash: f4a961f81b11b83af23432adc8e9d68b59feecbacommit hash: f4a961f81b11b83af23432adc8e9d68b59feecbacommit hash: f4a961f81b11b83af23432adc8e9d68b59feecbacommit hash: f4a961f81b11b83af23432adc8e9d68b59feecba files touched by this commit
Gleb Popov (arrowd) search for other commits by this committer
Author: Alexis Praga
math/hs-Agda: Update to 2.6.2
2.6.1.3_1
21 Apr 2021 04:48:23
commit hash: bdca32c5961668b70d8b65ecfe8d9f338216bb16commit hash: bdca32c5961668b70d8b65ecfe8d9f338216bb16commit hash: bdca32c5961668b70d8b65ecfe8d9f338216bb16commit hash: bdca32c5961668b70d8b65ecfe8d9f338216bb16 files touched by this commit
Tobias Kortkamp (tobik) search for other commits by this committer
Bump USES=cabal ports after 12837690ed0c
2.6.1.3
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
2.6.1.3
01 Mar 2021 18:13:46
Revision:566875Original commit files touched by this commit
arrowd search for other commits by this committer
math/hs-Agda: Update to 2.6.1.3
2.6.1_5
31 Aug 2020 10:58:31
Revision:547165Original commit files touched by this commit
arrowd search for other commits by this committer
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will
improve
in new GHC releases.
2.6.1_5
23 Aug 2020 15:57:49
Revision:545826Original commit files touched by this commit
arrowd search for other commits by this committer
math/hs-Agda: Fix build with new GHC.

Reported by:	pkg-fallout
2.6.1_4
19 Aug 2020 12:27:37
Revision:545318Original commit files touched by this commit
arrowd search for other commits by this committer
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
with our new Emacs.
2.6.1_3
16 Aug 2020 07:56:19
Revision:545088Original commit files touched by this commit
arrowd search for other commits by this committer
lang/ghc: Update to 8.10.1.

As usual, along with the compiler, many Haskell packages are updated as well.
2.6.1_2
04 Jul 2020 18:11:42
Revision:541232Original commit files touched by this commit
zeising search for other commits by this committer
Chanse update of devel/libffi

Chase the devel/libffi update
Bump portrevision of all dependent ports to chace shard library version bump
in libffi.
Update LIB_DEPENDS lines where needed to not require a specific version of
libffi.so.

PR:		247028 (for tracking)
2.6.1_1
06 May 2020 20:31:28
Revision:534200Original commit files touched by this commit
arrowd search for other commits by this committer
math/hs-Agda: Install emacs mode files.

PR:		246254
2.6.1
04 May 2020 18:08:10
Revision:533933Original commit files touched by this commit
arrowd search for other commits by this committer
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.

PR:		244784
Submitted by:	Evilham <contact@evilham.com> (some ports)
2.6.0.1
13 Jun 2019 18:51:52
Revision:504134Original commit files touched by this commit
arrowd search for other commits by this committer
math/hs-Agda: Update to latest version and unbreak.

Approved by:	tcberner (mentor, implicit)
2.5.4.2_1
09 May 2019 14:39:30
Revision:501101Original commit files touched by this commit
arrowd search for other commits by this committer
Introduce USES=cabal and use it to build Haskell applications.

PR:		230186
Reviewed by:	mat, tcberner
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19730
2.5.4.2_1
30 Mar 2019 17:39:37
Revision:497311Original commit files touched by this commit
tcberner search for other commits by this committer
Mark almost all Haskell ports for expiration by mid April

Ports for Haskell *libraries* are going to be removed from the ports tree.
Haskell *applications* are going to be statically linked with all dependencies
( https://reviews.freebsd.org/D19730  ), so there is no reason to keep
Haskell libraries in tree.

If you think a port is wrongly marked and should stay, please contact haskell@

Submitted by:	arrowd
Differential Revision:	https://reviews.freebsd.org/D19244
2.5.4.2_1
06 Jan 2019 12:18:07
Revision:489474Original commit files touched by this commit Sanity Test Failure
arrowd search for other commits by this committer
lang/ghc: Update to 8.6.3 and bump PORTREVISION's of all Haskell ports.

As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:

# portmaster -w -r ghc
  or
# portupgrade -fr lang/ghc

In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch.  For
example:

# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc
# pkg install -y `cat ghc-pkgs.txt`

During update some hs-* ports got two PORTREVISION bumps in a row. Other ports
got a PORTVERSION update together with one PORTREVISION bump. This is caused
by bulk-bumping PORTREVISION of all hs-* ports. There are a lot of them updated,
so figuring out which ones require a bump and which are not is too tedious.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D18707
2.5.4
29 Jul 2018 10:40:29
Revision:475642Original commit files touched by this commit
arrowd search for other commits by this committer
Update some hs-* ports that were previously IGNORE'd.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16308
2.5.2_2
30 Jun 2018 09:58:00
Revision:473611Original commit files touched by this commit
arrowd search for other commits by this committer
lang/ghc: Update to 8.4.3 and bump PORTREVISION's of all Haskell ports.

As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:

# portmaster -w -r ghc
  or
# portupgrade -fr lang/ghc

In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch.  For
example:

# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc

In ghc-pkgs.txt, check and remove all the packages that have been moved
on the update, then use this command:

# pkg install -y `cat ghc-pkgs.txt`

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16038
2.5.2_1
25 May 2018 21:44:13
Revision:470870Original commit files touched by this commit
tcberner search for other commits by this committer
Update lang/ghc 8.4.2 and the hs-* ports the newer versions

* Update lang/ghc to 8.4.2
* Update the boostrap compiler to 8.4.1
* Update the many hs-* ports
* Bump the rest

Thanks a lot to arrowd for doing all the heavy lifting :)

PR:		227968
Exp-run by:	antoine
Submitted by:	arrowd
Differential Revision:	https://reviews.freebsd.org/D15005
2.5.2_1
10 Feb 2018 08:03:22
Revision:461362Original commit files touched by this commit
tcberner search for other commits by this committer
Switch C compiler used to compile GHC to base Clang.

This removes build dependency on gcc and runtime dependency on gcc's runtime
libraries.

Big thanks to Gleb for working on this.

PR:		225185
Submitted by:	Gleb Popov <6yearold@gmail.com>
Exp-run by:	antoine
Reviewed by:	pgj
Differential Revision:	https://reviews.freebsd.org/D12043
2.5.2
08 Aug 2017 17:21:46
Revision:447548Original commit files touched by this commit
tcberner search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 8.0.2
- Simplified port by only suporting GCC, and creating a build.mk file
- Update Pandoc to 1.19.2.1
- Update git-annex to 6.20170520
- Update Darcs to 2.12.5
- Update Gtk2Hs to 0.13.2.2
- Update Agda to 2.5.2

Please note that port revisions for all the Haskell ports without version
changes are bumped.

See the UPDATING file for instructions.

New ports (63):
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.4.2.3
20 Aug 2015 23:02:17
Revision:394918Original commit files touched by this commit
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.10.2
- Include a patch for addressing timer issues [1]
- Add support for building both GHC and Haskell ports with Clang, either from
  ports or the base system
- Discontinue supporting Haskell Platform, use Stackage instead as a
  reference
- Drop support for FreeBSD 8.x, optimize bootstrap compiler tarballs
- Update Gtk2Hs to version 0.13 [2]
- Update Pandoc to version 1.15.0.6
- Update git-annex to version 5.20150727
- Update Darcs to 2.10 [3]
- Unbreak wxHaskell ports

Please note that port revisions for all the Haskell ports without version
changes are bumped.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.4.0.2_1
10 Sep 2014 20:50:37
Revision:367888Original commit files touched by this commit
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
2.4.0.2
10 Aug 2014 22:34:52
Revision:364579Original commit files touched by this commit
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.8.3
- Update Haskell Platform to version 2014.2.0.0
- Update Yesod Platform to version 1.2.13
- Update Gtk2Hs to version 0.12.5
- Update Pandoc to version 1.12.4.2
- Update git-annex to version 5.20140717
- Unbreak wxHaskell ports

Please note that port revisions for all the Haskell ports without version
changes are bumped.

New ports (69):

databases/hs-esqueleto: Type-safe EDSL for SQL queries on persistent backends
devel/hs-Glob: Globbing library
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.3.2_6
29 Mar 2014 00:52:55
Revision:349475Original commit files touched by this commit
pgj search for other commits by this committer
- Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and
  9.x in order to prevent run-time breakage after the recent changes in
  libiconv
- Bump port revision for lang/ghc and all dependents, as a consequence

Obtained from:	FreeBSD Haskell
2.3.2_5
10 Mar 2014 20:55:22
Revision:347809Original commit files touched by this commit
gerald search for other commits by this committer
Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3.  This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.

Part II, Bump PORTREVISIONs.

PR:		182136
Supported by:	Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by:	bdrewery (two -exp runs)
2.3.2_4
09 Jan 2014 21:32:14
Revision:339286Original commit files touched by this commit
pgj search for other commits by this committer
- Stagify lang/ghc and all the Haskell Cabal ports
- Update HACKAGE_SITE to follow changes in upstream
- MAKE_ENV now sets LC_ALL and DESTDIR for Haskell Cabal ports
- Further minor cosmetical changes: replace USE_GMAKE with USES, get rid of
  ${DO_NADA}, some refactoring

Obtained from:	FreeBSD Haskell
2.3.2_4
09 Jan 2014 21:29:40
Revision:339285Original commit files touched by this commit
pgj search for other commits by this committer
- Fix a run-time problem with lang/ghc on FreeBSD 10.0 and later, caused by
  the iconv changes (basically GHCi was rendered unusable)
- Fix build for x11-toolkits/hs-wxc, while here
- Bump port revision for all Haskell Cabal ports as they have to be rebuilt

PR:		ports/184806
Reported by:	many
Obtained from:	FreeBSD Haskell
MFH:		2014Q1
2.3.2_3
26 Oct 2013 00:52:36
Revision:331644Original commit files touched by this commit
gerald search for other commits by this committer
Update to libmpc version 1.0.1 which brings the following fixes:

 - Switched to automake 1.11.6, see CVE-2012-3386.
 - #14669: Fixed extraction of CC from gmp.h.
 - Fixed case of intermediate zero real or imaginary part in mpc_fma,
   found by hydra with GMP_CHECK_RANDOMIZE=1346362345.

This is on top of the following changes from version 1.0

 - Licence change towards LGPLv3+ for the code and GFDLv1.3+ (with no
   invariant sections) for the documentation.
 - 100% of all lines are covered by tests
 - Renamed functions
   . mpc_mul_2exp to mpc_mul_2ui
   . mpc_div_2exp to mpc_div_2ui
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.3.2_2
20 Sep 2013 20:55:06
Revision:327746Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
2.3.2_2
04 Jun 2013 18:53:41
Revision:319894Original commit files touched by this commit
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.6.3
- Update Haskell Platform to version 2013.2.0.0

Please note that port revisions for all the Haskell ports without version
changes are bumped.

Some highlights of the update:

- Fix PDF generation for pandoc [1]
- From now on, PREFIX/{lib,share,share/doc}/cabal/ghc-GHC_VERSION are used for
  hs- ports (Cabal packages) as prefixes to avoid problems when upgrading with
  portmaster(8) [2]
- Experimental support for LLVM-based code generation (disabled by default)
- Many simplifications, refactoring in bsd.cabal.mk
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.3.2_1
27 Apr 2013 11:59:29
Revision:316662Original commit files touched by this commit
mva search for other commits by this committer
- Convert USE_ICONV=yes to USES=iconv
- Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here

Reviewed by:	zeising
2.3.2_1
31 Mar 2013 13:43:10
Revision:315636Original commit files touched by this commit
pgj search for other commits by this committer
- Fix a minor dynamic linking problem for certain Haskell Cabal ports
- Add an UPDATING entry for description and instructions

Submitted by:	ashish
Approved by:	portmgr (miwi)
Obtained from:	FreeBSD Haskell
2.3.2
29 Mar 2013 22:43:58
Revision:315580Original commit files touched by this commit
pgj search for other commits by this committer
- Update Haskell ports from the development repository
- Avoid self-dependency for print/hs-hscolour (when HSCOLOUR is set)
  Contributed by: ashish

New ports (5):

devel/hs-geniplate                       0.6.0.3
devel/hs-uuid                            1.2.9
net/hs-maccatcher                        2.1.5
net/hs-publicsuffixlist                  0.0.3
textproc/hs-regex-tdfa                   1.1.8

Removed ports (1):

math/hs-Agda-executable                  2.3.0.1_3
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.3.0.1_3
05 Feb 2013 22:26:32
Revision:311736Original commit files touched by this commit
pgj search for other commits by this committer
- Fix breakage in the DYNAMIC-enabled ports triggered by the recent
  devel/libffi update
- Enable multithreaded build for lang/ghc (i.e. mark MAKE_JOBS_SAFE)

Please note that port revision for all the Haskell ports without version
changes are bumped.

New ports (20):

devel/hs-MonadRandom                     0.1.8
devel/hs-base64-conduit                  0.5.1
devel/hs-bifunctors                      3.2
devel/hs-either                          3.1
devel/hs-errors                          1.3.1
devel/hs-generic-deriving                1.4.0
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.3.0.1_2
20 Dec 2012 02:23:06
Revision:309275Original commit files touched by this commit
pgj search for other commits by this committer
- Update The Glorious Glasgow Haskell Compiler to version 7.4.2
- Update Haskell Platform to version 2012.4.0.0
- Update Gtk2Hs to 0.12.4
- Transfer maintainership of math/hs-math-functions to haskell@ [1]

Please note that port revisions for all the Haskell ports without version
changes are bumped.

Some further highlights of the update:
- Trim Makefile headers
- Enable dynamic libraries and dynamic linking by default
- Enable bootstrapping by versions of GHC and HsColour already installed
- Use GCC and binutils from ports

New ports (32):
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.3.0.1_1
03 Aug 2012 02:30:11
Original commit files touched by this commit
pgj search for other commits by this committer
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft

Obtained from:	FreeBSD Haskell
2.3.0.1
03 Jun 2012 22:09:29
Original commit files touched by this commit
pgj search for other commits by this committer
- Update to 2.3.0.1

Obtained from:  FreeBSD Haskell
2.3.0
13 Feb 2012 05:04:03
Original commit files touched by this commit
pgj search for other commits by this committer
- Update to 2.3.0

Obtained from:  FreeBSD Haskell
2.2.10_2
10 Jul 2011 16:30:20
Original commit files touched by this commit
ashish search for other commits by this committer
- Update devel/hs-blaze-builder to 0.3.0.1
- Update devel/hs-blaze-builder-enumerator to 0.2.0.1
- Update devel/hs-darcs to 2.5.2
- Update devel/hs-hashed-storage to 0.5.7
- Update devel/hs-haskeline to 0.6.4.0
- Update devel/hs-haskell-src-exts to 1.11.1
- Update devel/hs-hoogle to 4.2.5
- Update devel/hs-test-framework to 0.4.0
- Update devel/hs-test-framework-quickcheck2 to 0.2.10
- Update www/hs-wai to 0.4.0
- Update www/hs-warp to 0.4.0.1
- Bump PORTREVISION of devel/cvs2darcs, devel/hs-test-framework-hunit,
  devel/hs-uuagc, math/hs-Agda, math/hs-Agda-executable

Obtained from:  FreeBSD Haskell
2.2.10_1
26 May 2011 00:51:15
Original commit files touched by this commit
ashish search for other commits by this committer
Bump PORTREVISION of all ports dependent on lang/ghc as during
upgrade, lang/ghc cabal package cache gets invalidated causing all
dependent ports to be reinstalled.

Obtained from:  FreeBSD Haskell
2.2.10
09 May 2011 05:28:57
Original commit files touched by this commit
ashish search for other commits by this committer
- Please welcome GHC 7.0.3

GHC in the ports tree has been updated to 7.0.3 and all other Haskell ports
are also updated to their corresponding Haskell Platform versions, or latest
versions.

We would like to acknowledge the support of the FreeBSD Donations Team and
Eotvos Lorand University, Faculty of Informatics who contributed to the server
that we used for testing.

We would also like to thank all the testers who tested FreeBSD Haskell ports
and provided their feedback.

PR:             ports/156642
Approved by:    tabthorpe (mentor)
Obtained from:  FreeBSD Haskell
2.2.6_1
20 Mar 2011 12:54:45
Original commit files touched by this commit
miwi search for other commits by this committer
- Get Rid MD5 support
2.2.6_1
08 Aug 2010 08:49:38
Original commit files touched by this commit
pgj search for other commits by this committer
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")

Suggested by:   admi3
2.2.6_1
26 May 2010 11:18:46
Original commit files touched by this commit
jacula search for other commits by this committer
- Pass maintainership to haskell@FreeBSD.org:

    audio/hs-ALUT, audio/hs-OpenAL, benchmarks/hs-criterion
    converters/hs-json, devel/hs-DeepArrow, devel/hs-FileManip
    devel/hs-MemoTrie, devel/hs-MissingH, devel/hs-MonadCatchIO-mtl
    devel/hs-ObjectName, devel/hs-QuickCheck, devel/hs-StateVar
    devel/hs-Tensor, devel/hs-TypeCompose, devel/hs-arrows
    devel/hs-checkers, devel/hs-convertible, devel/hs-datetime
    devel/hs-deepseq, devel/hs-fgl, devel/hs-ghc-mtl, devel/hs-ghc-paths
    devel/hs-ghc-paths-docs, devel/hs-haskeline
    devel/hs-haskell-src-exts, devel/hs-hint, devel/hs-hoogle
    devel/hs-hslogger, devel/hs-mmap, devel/hs-mueval, devel/hs-reactive
    devel/hs-readline, devel/hs-safe, devel/hs-show, devel/hs-smallcheck
    devel/hs-split, devel/hs-testpack, devel/hs-transformers
    devel/hs-unamb, devel/hs-uniplate, devel/hs-unix-compat
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.2.6_1
12 May 2010 16:33:59
Original commit files touched by this commit
pgj search for other commits by this committer
Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
ports which makes possible the direct translation of Cabal package
descriptions to FreeBSD ports.  It promises both easier addition and
maintenance for Cabal-based ports.
2.2.6_1
19 Apr 2010 10:43:43
Original commit files touched by this commit
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
2.2.6
04 Jan 2010 03:24:25
Original commit files touched by this commit
pgj search for other commits by this committer
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.

WWW: http://wiki.portal.chalmers.se/agda/

PR:             ports/142141
Submitted by:   Jacula Modyun <jacula(at)gmail.com>

Number of commits found: 61