kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/hs-Agda/Makefile

80 lines
2 KiB
Makefile
Raw Normal View History

- 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): devel/hs-List 0.5.1 devel/hs-ReadArgs 1.2.1 devel/hs-SafeSemaphore 0.9.0 devel/hs-activehs-base 0.3.0.2 devel/hs-async 2.0.1.3 devel/hs-basic-prelude 0.3.1.0 devel/hs-classy-prelude 0.4.1 devel/hs-classy-prelude-conduit 0.4.1 devel/hs-data-pprint 0.2.1.4 devel/hs-date-cache 0.3.0 devel/hs-fsnotify 0.0.4 devel/hs-hinotify 0.3.5 devel/hs-hspec-expectations 0.3.0.3 devel/hs-kqueue 0.1.2.4 devel/hs-monad-logger 0.2.3 devel/hs-optparse-applicative 0.4.2 devel/hs-project-template 0.1.0.1 devel/hs-setenv 0.1.0 devel/hs-simple-reflect 0.2 devel/hs-threads 0.5.0.1 devel/hs-time-compat 0.1.0.2 devel/hs-unix-time 0.1.4 devel/hs-word8 0.0.2 graphics/hs-dia-base 0.1.1.2 graphics/hs-dia-functions 0.2.1.3 mail/hs-mime-types 0.1.0.0 net/hs-network-info 0.2.0.3 net/hs-network-multicast 0.0.7 security/hs-cipher-aes 0.1.5 textproc/hs-hexpat 0.20.3 www/hs-activehs 0.3.0.1 www/hs-http-reverse-proxy 0.1.0.6 Updated ports (211): archivers/hs-tar 0.4.0.0_1 --> 0.4.0.1 archivers/hs-zip-archive 0.1.1.8_1 --> 0.1.2.1 archivers/hs-zlib 0.5.3.3_1 --> 0.5.4.0 archivers/hs-zlib-bindings 0.1.0.1_1 --> 0.1.1.2 archivers/hs-zlib-conduit 0.4.0.2 --> 0.5.0.3 archivers/hs-zlib-enum 0.2.2.1_1 --> 0.2.3 audio/hs-libmpd 0.8.0_1 --> 0.8.0.1 benchmarks/hs-criterion 0.6.0.1_2 --> 0.6.2.0 converters/hs-dataenc 0.14.0.3_2 --> 0.14.0.4 converters/hs-json 0.5_1 --> 0.7 databases/hs-persistent 0.9.0.4_1 --> 1.0.2.2 databases/hs-persistent-sqlite 0.9.0.2_1 --> 1.0.1 databases/hs-persistent-template 0.9.0.2_1 --> 1.0.0.2 devel/hs-Boolean 0.0.1_5 --> 0.1.1 devel/hs-DeepArrow 0.3.5_2 --> 0.3.7 devel/hs-HUnit 1.2.4.2_2 --> 1.2.5.1 devel/hs-MemoTrie 0.5_1 --> 0.6.1 devel/hs-MissingH 1.1.1.0_2 --> 1.2.0.0 devel/hs-MonadCatchIO-mtl 0.3.0.4_3 --> 0.3.0.5 devel/hs-QuickCheck 2.4.2_1 --> 2.5.1.1 devel/hs-Stream 0.4.6_2 --> 0.4.6.1 devel/hs-TypeCompose 0.9.1_2 --> 0.9.7 devel/hs-abstract-deque 0.1.5_1 --> 0.1.6 devel/hs-alex 3.0.1_1 --> 3.0.2 devel/hs-arrows 0.4.4.0_4 --> 0.4.4.1 devel/hs-asn1-data 0.6.1.3_1 --> 0.7.1 devel/hs-base-unicode-symbols 0.2.2.3_2 --> 0.2.2.4 devel/hs-base64-bytestring 0.1.2.0 --> 1.0.0.0 devel/hs-blaze-builder-conduit 0.4.0.2_1 --> 0.5.0.3 devel/hs-blaze-builder-enumerator 0.2.0.4_1 --> 0.2.0.5 devel/hs-blaze-textual 0.2.0.6_2 --> 0.2.0.8 devel/hs-bytestring-nums 0.3.5_2 --> 0.3.6 devel/hs-c2hs 0.16.3_3 --> 0.16.4 devel/hs-cmdargs 0.9.5_1 --> 0.10.1 devel/hs-conduit 0.4.2_1 --> 0.5.5 devel/hs-configurator 0.2.0.0_2 --> 0.2.0.1 devel/hs-cpphs 1.14 --> 1.15 devel/hs-darcs 2.8.1_1 --> 2.8.3 devel/hs-data-default 0.4.0_1 --> 0.5.0 devel/hs-directory-tree 0.10.1 --> 0.11.0 devel/hs-edit-distance 0.2.1_1 --> 0.2.1.1 devel/hs-fast-logger 0.0.2_2 --> 0.3.1 devel/hs-file-embed 0.0.4.4_1 --> 0.0.4.6 devel/hs-filemanip 0.3.5.2_6 --> 0.3.6.2 devel/hs-filestore 0.5_1 --> 0.5.0.1 devel/hs-filesystem-conduit 0.4.0_1 --> 0.5.0.2 devel/hs-gconf 0.12.1_3 --> 0.12.1.1 devel/hs-ghc-events 0.4.0.0_2 --> 0.4.2.0 devel/hs-ghc-mtl 1.0.1.1_2 --> 1.0.1.2 devel/hs-gio 0.12.3_1 --> 0.12.4 devel/hs-git-annex 3.20120807 --> 3.20121211 devel/hs-glib 0.12.3.1_1 --> 0.12.4 devel/hs-gtk2hs-buildtools 0.12.3.1_1 --> 0.12.4 devel/hs-haddock 2.10.0_1 --> 2.11.0 devel/hs-happy 1.18.9_1 --> 1.18.10 devel/hs-hashable 1.1.2.3_1 --> 1.1.2.5 devel/hs-hashed-storage 0.5.9_2 --> 0.5.10 devel/hs-hashtables 1.0.1.6_1 --> 1.0.1.8 devel/hs-haskell-src-exts 1.13.3_1 --> 1.13.5 devel/hs-hastache 0.4.1 --> 0.4.2 devel/hs-hint 0.3.3.4_1 --> 0.3.3.5 devel/hs-hlint 1.8.30 --> 1.8.39 devel/hs-hoogle 4.2.11_1 --> 4.2.14 devel/hs-hslogger 1.1.5_2 --> 1.2.1 devel/hs-hspec 1.2.0.1 --> 1.4.2 devel/hs-language-javascript 0.5.4_1 --> 0.5.7 devel/hs-largeword 1.0.1_2 --> 1.0.3 devel/hs-lifted-base 0.1.1_1 --> 0.2 devel/hs-logict 0.5.0.1_1 --> 0.5.0.2 devel/hs-monad-control 0.3.1.3_1 --> 0.3.1.4 devel/hs-mtl 2.1.1_1 --> 2.1.2 devel/hs-murmur-hash 0.1.0.5_2 --> 0.1.0.6 devel/hs-parallel 3.2.0.2_1 --> 3.2.0.3 devel/hs-pool-conduit 0.1.0.2_1 --> 0.1.0.3 devel/hs-primitive 0.4.1_2 --> 0.5.0.1 devel/hs-resource-pool 0.2.1.0_1 --> 0.2.1.1 devel/hs-resourcet 0.3.3.1 --> 0.4.4 devel/hs-silently 1.2.0.2 --> 1.2.4 devel/hs-split 0.1.4.3 --> 0.2.1.1 devel/hs-stm 2.3_1 --> 2.4 devel/hs-syb 0.3.6.1_1 --> 0.3.7 devel/hs-syb-with-class 0.6.1.3_2 --> 0.6.1.4 devel/hs-system-fileio 0.3.8 --> 0.3.10 devel/hs-system-filepath 0.4.6_1 --> 0.4.7 devel/hs-tagged 0.4.2.1_1 --> 0.4.4 devel/hs-temporary 1.1.2.3_1 --> 1.1.2.4 devel/hs-terminfo 0.3.2.4 --> 0.3.2.5 devel/hs-test-framework 0.6_1 --> 0.8 devel/hs-test-framework-hunit 0.2.7_2 --> 0.3.0 devel/hs-test-framework-quickcheck2 0.2.12.2_1 --> 0.3.0.1 devel/hs-text 0.11.2.0_1 --> 0.11.2.3 devel/hs-threadscope 0.2.1_3 --> 0.2.2 devel/hs-uniplate 1.6.7_1 --> 1.6.10 devel/hs-unix-compat 0.3.0.1_1 --> 0.4.0.0 devel/hs-unordered-containers 0.2.1.0_1 --> 0.2.2.1 devel/hs-uuagc 0.9.40.3_1 --> 0.9.42.2 devel/hs-uuagc-cabal 1.0.2.0_2 --> 1.0.4.0 devel/hs-vault 0.2.0.0_1 --> 0.2.0.1 devel/hs-vector 0.9.1_2 --> 0.10.0.1 devel/hs-vector-algorithms 0.5.4_1 --> 0.5.4.2 devel/hs-void 0.5.6 --> 0.5.8 ftp/hs-curl 1.3.7_3 --> 1.3.8 graphics/hs-cairo 0.12.3.1_1 --> 0.12.4 lang/hs-unlambda 0.1_6 --> 0.1.3 mail/hs-email-validate 0.2.8_1 --> 0.3.2 mail/hs-mime 0.3.3.2 --> 0.3.4 mail/hs-mime-mail 0.4.1.1_2 --> 0.4.1.2 math/hs-categories 1.0.3_1 --> 1.0.4 math/hs-comonad 1.1.1.6_1 --> 3.0.0.2 math/hs-comonad-transformers 2.1.2 --> 3.0 math/hs-data-lens 2.10.0_1 --> 2.10.2 math/hs-data-lens-template 2.1.5_1 --> 2.1.7 math/hs-math-functions 0.1.1.1_2 --> 0.1.1.2 [1] math/hs-mwc-random 0.12.0.0_1 --> 0.12.0.1 math/hs-pointed 2.1.0.2_1 --> 3.0.1 math/hs-semigroupoids 1.3.4 --> 3.0.0.1 math/hs-semigroups 0.8.3.2_1 --> 0.8.4.1 math/hs-statistics 0.10.1.0_1 --> 0.10.2.0 math/hs-vector-space 0.8.2 --> 0.8.6 multimedia/hs-gstreamer 0.12.1.1_1 --> 0.12.1.2 net/hs-network 2.3.0.13_1 --> 2.3.1.0 net/hs-network-conduit 0.4.0.1_1 --> 0.6.1.1 net/hs-pcap 0.4.5.1_4 --> 0.4.5.2 net/hs-sendfile 0.7.6_1 --> 0.7.8 net/hs-simple-sendfile 0.2.4 --> 0.2.8 net/hs-socks 0.4.1_1 --> 0.4.2 print/hs-hscolour 1.20.2,1 --> 1.20.3,1 security/hs-Crypto 4.2.5_1 --> 4.2.5.1 security/hs-HsOpenSSL 0.10.3.2 --> 0.10.3.3 security/hs-RSA 1.2.1.0_1 --> 1.2.2.0 security/hs-SHA 1.5.0.1_1 --> 1.6.1 security/hs-certificate 1.2.3_1 --> 1.3.3 security/hs-clientsession 0.7.5_1 --> 0.8.0.1 security/hs-cprng-aes 0.2.3_2 --> 0.2.4 security/hs-crypto-conduit 0.3.2_1 --> 0.4.1 security/hs-crypto-pubkey-types 0.1.1_1 --> 0.2.0 security/hs-cryptocipher 0.3.5 --> 0.3.6 security/hs-cryptohash 0.7.5_1 --> 0.7.9 security/hs-digest 0.0.1.1_1 --> 0.0.1.2 security/hs-monadcryptorandom 0.4.1_1 --> 0.5 security/hs-pureMD5 2.1.0.3_2 --> 2.1.2.1 security/hs-pwstore-fast 2.2_2 --> 2.3 security/hs-skein 0.1.0.7_1 --> 0.1.0.10 security/hs-tls 0.9.5_1 --> 1.0.2 security/hs-tls-extra 0.4.6_1 --> 0.5.0 sysutils/hs-angel 0.3.2_1 --> 0.3.3 textproc/hs-HStringTemplate 0.6.8_2 --> 0.6.12 textproc/hs-attoparsec-conduit 0.4.0.1_1 --> 0.5.0.3 textproc/hs-attoparsec-enumerator 0.3_2 --> 0.3.1 textproc/hs-blaze-html 0.5.0.0 --> 0.5.1.1 textproc/hs-blaze-markup 0.5.1.0_1 --> 0.5.1.2 textproc/hs-case-insensitive 0.4.0.1_2 --> 0.4.0.3 textproc/hs-citeproc-hs 0.3.4_1 --> 0.3.6 textproc/hs-double-conversion 0.2.0.4_2 --> 0.2.0.5 textproc/hs-highlighting-kate 0.5.1_1 --> 0.5.3.3 textproc/hs-hs-bibutils 4.12_4 --> 4.15 textproc/hs-html-conduit 0.0.1_1 --> 0.1.0.4 textproc/hs-hxt 9.2.2_1 --> 9.3.1.1 textproc/hs-lhs2tex 1.17_4 --> 1.18.1 textproc/hs-pandoc 1.9.4.2 --> 1.9.4.5 textproc/hs-parsec 3.1.2_1 --> 3.1.3 textproc/hs-regex-pcre-builtin 0.94.2.1.7.7_4 --> 0.94.4.3.8.31 textproc/hs-regex-posix 0.95.1_2 --> 0.95.2 textproc/hs-stringsearch 0.3.6.3_2 --> 0.3.6.4 textproc/hs-tagsoup 0.12.6_2 --> 0.12.8 textproc/hs-tagstream-conduit 0.3.2_1 --> 0.5.3 textproc/hs-texmath 0.6.0.6_1 --> 0.6.1.1 textproc/hs-xml-conduit 0.7.0.3_1 --> 1.0.3.3 textproc/hs-xml-types 0.3.2 --> 0.3.3 textproc/hs-xmlhtml 0.2.0.2 --> 0.2.0.3 textproc/hs-yaml 0.7.0.3 --> 0.8.1.1 www/hs-HTTP 4000.2.3_1 --> 4000.2.5 www/hs-authenticate 1.2.1.1_1 --> 1.3.2 www/hs-cookie 0.4.0_1 --> 0.4.0.1 www/hs-gitit 0.10.0.1 --> 0.10.0.2 www/hs-hamlet 1.0.1.4 --> 1.1.1.1 www/hs-happstack 7.0.0_1 --> 7.0.1 www/hs-happstack-server 7.0.3 --> 7.1.1 www/hs-heist 0.8.1.1 --> 0.8.2 www/hs-hjsmin 0.1.2_1 --> 0.1.3 www/hs-http-conduit 1.4.1.10 --> 1.8.4.3 www/hs-http-date 0.0.2_1 --> 0.0.3 www/hs-http-server 1_5 --> 1.0.1 www/hs-http-types 0.6.11_1 --> 0.7.3.0.1 www/hs-path-pieces 0.1.1_1 --> 0.1.2 www/hs-shakespeare 1.0.0.2_1 --> 1.0.2 www/hs-shakespeare-css 1.0.1.2_1 --> 1.0.2 www/hs-shakespeare-js 1.0.0.3_1 --> 1.1.0 www/hs-shakespeare-text 1.0.0.2_1 --> 1.0.0.5 www/hs-snap 0.9.0.1 --> 0.9.2.2 www/hs-snap-core 0.9.0 --> 0.9.2.2 www/hs-snap-server 0.9.0 --> 0.9.2.4 www/hs-wai 1.2.0.3 --> 1.3.0.1 www/hs-wai-app-static 1.2.0.4 --> 1.3.0.4 www/hs-wai-extra 1.2.0.5 --> 1.3.0.4 www/hs-wai-logger 0.1.4_1 --> 0.3.0 www/hs-wai-test 1.2.0.2_1 --> 1.3.0 www/hs-warp 1.2.2 --> 1.3.5 www/hs-yesod 1.0.1.6_1 --> 1.1.4.1 www/hs-yesod-auth 1.0.2.1_1 --> 1.1.2 www/hs-yesod-core 1.0.1.2_1 --> 1.1.6.1 www/hs-yesod-default 1.0.1.1_1 --> 1.1.2 www/hs-yesod-form 1.0.0.4_1 --> 1.2.0.1 www/hs-yesod-json 1.0.0.1_1 --> 1.1.2 www/hs-yesod-persistent 1.0.0.1_1 --> 1.1.0 www/hs-yesod-platform 1.0.5 --> 1.1.5 www/hs-yesod-routes 1.0.1.2_1 --> 1.1.1.1 www/hs-yesod-static 1.0.0.3_1 --> 1.1.1.1 www/hs-yesod-test 0.2.1 --> 0.3.1.1 x11-toolkits/hs-gtk 0.12.3.1 --> 0.12.4 x11-toolkits/hs-pango 0.12.3_1 --> 0.12.4 Removed ports (1): textproc/hs-xml2html 0.1.2.3_1 Approved by: wen (maintainer) [1] Obtained from: FreeBSD Haskell
2012-12-20 03:23:04 +01:00
# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
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>
2010-01-04 04:24:25 +01:00
# $FreeBSD$
PORTNAME= Agda
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
PORTVERSION= 2.6.1
math/hs-Agda: Fix build with new GHC. Reported by: pkg-fallout
2020-08-23 17:57:48 +02:00
PORTREVISION= 5
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>
2010-01-04 04:24:25 +01:00
CATEGORIES= math haskell
- 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 devel/hs-utility-ht, devel/hs-uuagc, devel/hs-uulib devel/hs-uvector, devel/hs-uvector-algorithms, graphics/hs-HGL lang/hs-brainfuck, lang/hs-unlambda, mail/hs-mime, math/hs-Agda math/hs-Agda-executable, math/hs-category-extras, math/hs-erf math/hs-mwc-random, math/hs-probability, math/hs-statistics math/hs-vector-space, print/hs-hscolour, print/hs-hscolour-docs science/hs-bio, textproc/hs-Diff, textproc/hs-feed textproc/hs-tagsoup, textproc/hs-texmath, textproc/hs-xml www/hs-HTTP, www/hs-cgi, www/hs-fastcgi, www/hs-http-server www/hs-oeis, www/hs-scgi, www/hs-url, x11-toolkits/hs-GLURaw x11-toolkits/hs-OpenGLRaw Approved by: pgj (mentor)
2010-05-26 13:18:46 +02:00
MAINTAINER= haskell@FreeBSD.org
- 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 Updated ports (115): archivers/hs-zip-archive 0.1.3.3 --> 0.1.3.4 archivers/hs-zlib-conduit 0.5.0.3_1 --> 1.0.0 audio/hs-OpenAL 1.4.0.1_3 --> 1.4.0.2 databases/hs-persistent 1.1.4 --> 1.1.5.1 databases/hs-persistent-sqlite 1.1.2 --> 1.1.5 databases/hs-persistent-template 1.1.2.1 --> 1.1.2.4 devel/hs-Boolean 0.1.2 --> 0.2 devel/hs-ansi-terminal 0.5.5.1 --> 0.6 devel/hs-base64-bytestring 1.0.0.0_1 --> 1.0.0.1 devel/hs-base64-conduit 0.5.1 --> 1.0.0 devel/hs-basic-prelude 0.3.2.0 --> 0.3.4.0 devel/hs-bifunctors 3.2 --> 3.2.0.1 devel/hs-blaze-builder-conduit 0.5.0.3_1 --> 1.0.0 devel/hs-classy-prelude 0.4.3 --> 0.5.3 devel/hs-classy-prelude-conduit 0.4.3 --> 0.5.3 devel/hs-cmdargs 0.10.1_1 --> 0.10.2 devel/hs-conduit 0.5.6 --> 1.0.2 devel/hs-darcs 2.8.3_1 --> 2.8.4 devel/hs-either 3.1 --> 3.4 devel/hs-errors 1.3.1 --> 1.4.1 devel/hs-filestore 0.6 --> 0.6.0.1 devel/hs-filesystem-conduit 0.5.0.2_1 --> 1.0.0 devel/hs-git-annex 3.20130124 --> 4.20130323 devel/hs-hashtables 1.0.1.8_1 --> 1.1.0.2 devel/hs-haskeline 0.6.4.7_3 --> 0.7.0.3 devel/hs-hint 0.3.3.5_1 --> 0.3.3.6 devel/hs-hoogle 4.2.15 --> 4.2.16 devel/hs-hspec 1.4.3 --> 1.4.4 devel/hs-lens 3.8.5 --> 3.8.7.3 devel/hs-logict 0.5.0.2_1 --> 0.6 devel/hs-monad-logger 0.2.3.2 --> 0.3.0.1 devel/hs-monad-par 0.3_3 --> 0.3.4.1 devel/hs-mueval 0.8.2_3 --> 0.9 devel/hs-profunctors 3.2 --> 3.3 devel/hs-project-template 0.1.1 --> 0.1.3 devel/hs-readline 1.0.1.0_8 --> 1.0.3.0 devel/hs-reflection 1.1.6 --> 1.1.7 devel/hs-resourcet 0.4.4_1 --> 0.4.5 devel/hs-show 0.4.1.2_4 --> 0.5 devel/hs-simple-reflect 0.2_1 --> 0.3.1 devel/hs-smallcheck 0.6.2 --> 1.0.2 devel/hs-testpack 2.1.2_3 --> 2.1.2.1 devel/hs-threads 0.5.0.1_1 --> 0.5.0.2 devel/hs-time-compat 0.1.0.2_1 --> 0.1.0.3 devel/hs-unix-time 0.1.4_1 --> 0.1.5 devel/hs-uulib 0.9.14_4 --> 0.9.15 mail/hs-email-validate 0.3.2_1 --> 1.0.0 mail/hs-mime-types 0.1.0.2 --> 0.1.0.3 math/hs-Agda 2.3.0.1_3 --> 2.3.2 math/hs-NumInstances 1.0_4 --> 1.2 math/hs-comonad 3.0.1.1 --> 3.0.2 math/hs-contravariant 0.2.0.2_3 --> 0.4 math/hs-distributive 0.3 --> 0.3.1 math/hs-math-functions 0.1.1.2_1 --> 0.1.3.0 net/hs-network-conduit 0.6.2.2 --> 1.0.0 net/hs-sendfile 0.7.8_1 --> 0.7.9 net/hs-simple-sendfile 0.2.10 --> 0.2.11 net/hs-socks 0.4.2_1 --> 0.5.0 security/hs-crypto-api 0.10.2_3 --> 0.11 security/hs-crypto-conduit 0.4.3 --> 0.5.0 security/hs-monadcryptorandom 0.5_1 --> 0.5.1 security/hs-skein 0.1.0.11 --> 0.1.0.12 security/hs-tls 1.1.1 --> 1.1.2 textproc/hs-HStringTemplate 0.6.12_1 --> 0.7.1 textproc/hs-attoparsec 0.10.3.0 --> 0.10.4.0 textproc/hs-attoparsec-conduit 0.5.0.3_1 --> 1.0.0 textproc/hs-blaze-html 0.5.1.3 --> 0.6.0.0 textproc/hs-case-insensitive 0.4.0.4 --> 1.0 textproc/hs-citeproc-hs 0.3.7 --> 0.3.8 textproc/hs-highlighting-kate 0.5.3.5 --> 0.5.3.8 textproc/hs-hs-bibutils 4.16 --> 4.17 textproc/hs-html-conduit 0.1.0.4_1 --> 1.1.0 textproc/hs-hxt-regex-xmlschema 9.0.4_4 --> 9.1.0 textproc/hs-pandoc 1.9.4.5_1 --> 1.11.1 textproc/hs-pandoc-types 1.9.1_3 --> 1.10 textproc/hs-tagstream-conduit 0.5.3_1 --> 0.5.4 textproc/hs-xml-conduit 1.0.3.3_1 --> 1.1.0.3 textproc/hs-xmlhtml 0.2.0.3_1 --> 0.2.1 textproc/hs-yaml 0.8.2 --> 0.8.2.3 www/hs-activehs 0.3.0.1_1 --> 0.3.1 www/hs-authenticate 1.3.2_1 --> 1.3.2.6 www/hs-fastcgi 3001.0.2.3_7 --> 3001.0.2.4 www/hs-gitit 0.10.1.2 --> 0.10.3.1 www/hs-hS3 0.5.6_5 --> 0.5.7 www/hs-hamlet 1.1.3.1 --> 1.1.6.3 www/hs-happstack-server 7.1.1_1 --> 7.1.7 www/hs-heist 0.11.0 --> 0.11.1 www/hs-hjsmin 0.1.4 --> 0.1.4.1 www/hs-http-conduit 1.8.7 --> 1.9.0 www/hs-http-reverse-proxy 0.1.1.1 --> 0.1.1.3 www/hs-http-server 1.0.1_1 --> 1.0.2 www/hs-http-types 0.7.3.0.1_1 --> 0.8.0 www/hs-shakespeare 1.0.2_1 --> 1.0.3.1 www/hs-shakespeare-css 1.0.2_1 --> 1.0.3 www/hs-shakespeare-js 1.1.1 --> 1.1.2.1 www/hs-snap 0.11.0 --> 0.11.2 www/hs-snap-core 0.9.2.2_1 --> 0.9.3.1 www/hs-snap-server 0.9.2.4_1 --> 0.9.3.3 www/hs-wai 1.3.0.1_1 --> 1.4.0 www/hs-wai-app-static 1.3.1_1 --> 1.3.1.2 www/hs-wai-extra 1.3.2 --> 1.3.2.4 www/hs-wai-test 1.3.0_1 --> 1.3.0.4 www/hs-warp 1.3.7.1 --> 1.3.7.4 www/hs-yesod 1.1.7.2 --> 1.1.9.2 www/hs-yesod-auth 1.1.3 --> 1.1.5.3 www/hs-yesod-core 1.1.7.1 --> 1.1.8.2 www/hs-yesod-default 1.1.3 --> 1.1.3.2 www/hs-yesod-form 1.2.0.2 --> 1.2.1.3 www/hs-yesod-json 1.1.2_1 --> 1.1.2.1 www/hs-yesod-platform 1.1.7.2 --> 1.1.8 www/hs-yesod-routes 1.1.1.1_1 --> 1.1.2 www/hs-yesod-static 1.1.1.2 --> 1.1.2.2 www/hs-yesod-test 0.3.3 --> 0.3.5 x11-wm/hs-xmonad-contrib 0.11 --> 0.11.1 x11/hs-X11 1.6.0.2 --> 1.6.1.1 Please note that port revisions for dependent ports are bumped. Obtained from: FreeBSD Haskell
2013-03-29 23:43:58 +01:00
COMMENT= Dependently typed functional programming language and proof assistant
- Update to 2.3.0.1 Obtained from: FreeBSD Haskell
2012-06-04 00:09:57 +02:00
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve in new GHC releases.
2020-08-31 12:58:30 +02:00
BROKEN_i386= Compiler goes out of memory
math/hs-Agda: Install emacs mode files. PR: 246254
2020-05-06 22:31:28 +02:00
BUILD_DEPENDS= emacs:editors/emacs
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
2019-05-09 16:39:30 +02:00
USES= cabal
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>
2010-01-04 04:24:25 +01:00
math/hs-Agda: Update to latest version and unbreak. Approved by: tcberner (mentor, implicit)
2019-06-13 20:51:51 +02:00
USE_LOCALE= en_US.UTF-8
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
USE_CABAL= Cabal-3.0.2.0 \
STMonadTrans-0.4.4 \
aeson-1.4.7.1_1 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
alex-3.2.5 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
async-2.2.2_1 \
attoparsec-0.13.2.4 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
base-compat-0.11.1 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
base-compat-batteries-0.11.1 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
base-orphans-0.8.2 \
blaze-builder-0.4.1.0 \
blaze-html-0.9.1.2 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
blaze-markup-0.8.2.5 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
boxes-0.1.5 \
data-hash-0.2.0.1 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
dlist-0.8.0.8 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
edit-distance-0.2.2.1_1 \
equivalence-0.3.5 \
fail-4.9.0.0 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
geniplate-mirror-0.7.7 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
gitrev-1.3.1 \
happy-1.19.12 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
hashable-1.3.0.0_1 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
hashtables-1.2.3.4 \
ieee754-0.8.0 \
integer-logarithms-1.0.3_2 \
murmur-hash-0.1.0.9 \
network-uri-2.6.3.0 \
primitive-0.7.0.1 \
random-1.1_1 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
regex-base-0.94.0.0_1 \
regex-tdfa-1.3.1.0_1 \
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. PR: 244784 Submitted by: Evilham <contact@evilham.com> (some ports)
2020-05-04 20:08:10 +02:00
scientific-0.3.6.2 \
split-0.2.3.4 \
strict-0.3.2 \
tagged-0.8.6_2 \
th-abstraction-0.3.2.0 \
time-compat-1.9.3 \
transformers-compat-0.6.5 \
unordered-containers-0.2.10.0_1 \
uri-encode-1.5.0.5 \
utf8-string-1.0.1.1_3 \
uuid-types-1.0.3_2 \
vector-0.12.1.2 \
lang/ghc: Update to 8.10.1. As usual, along with the compiler, many Haskell packages are updated as well.
2020-08-16 09:56:18 +02:00
zlib-0.6.2.1_1
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>
2010-01-04 04:24:25 +01:00
math/hs-Agda: Update to latest version and unbreak. Approved by: tcberner (mentor, implicit)
2019-06-13 20:51:51 +02:00
EXECUTABLES= agda-mode agda
agda_DATADIR_VARS= Agda
math/hs-Agda: Install emacs mode files. PR: 246254
2020-05-06 22:31:28 +02:00
agda-mode_DATADIR_VARS= Agda
post-build:
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible with our new Emacs.
2020-08-19 14:27:36 +02:00
# Do not compile Emacs mode files until https://github.com/agda/agda/issues/4610 is fixed
# ${SETENV} Agda_datadir=${WRKSRC}/src/data $$(find ${WRKSRC}/dist-newstyle -name agda-mode -type f -perm +111) compile
math/hs-Agda: Update to latest version and unbreak. Approved by: tcberner (mentor, implicit)
2019-06-13 20:51:51 +02:00
post-install:
${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda
find ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} ${PORTNAME}_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}
math/hs-Agda: Install emacs mode files. PR: 246254
2020-05-06 22:31:28 +02:00
cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}
- 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. New ports (48): converters/hs-aeson-pretty JSON pretty-printing library and command-line tool converters/hs-sandi Data encoding library devel/hs-StateVar State variables devel/hs-base-orphans Backwards-compatible orphan instances for base devel/hs-bytestring-mmap Mmap support for strict ByteStrings devel/hs-constraints Constraint manipulation devel/hs-data-ordlist Set and bag operations on ordered lists devel/hs-easy-file Cross-platform File handling devel/hs-extra Extra functions devel/hs-geniplate-mirror Use Template Haskell to generate Uniplate-like functions devel/hs-haddock-api Documentation-generation tool for Haskell libraries devel/hs-hex Convert strings into hexadecimal and back devel/hs-hourglass Simple performant time related library devel/hs-hsb2hs Preprocesses a file, adding blobs from files as string literals devel/hs-hspec-core Testing Framework for Haskell devel/hs-hspec-discover Automatically discover and run Hspec tests devel/hs-js-flot Obtain minified flot code devel/hs-js-jquery Obtain minified jQuery code devel/hs-lifted-async Run lifted IO operations asynchronously and wait for their results devel/hs-map-syntax Syntax sugar for defining maps devel/hs-memory Memory and related abtraction stuff devel/hs-mutable-containers Abstactions and concrete implementations of mutable containers devel/hs-newtype Typeclass and set of functions for working with newtypes devel/hs-old-locale Locale library devel/hs-old-time Time library devel/hs-preprocessor-tools Framework for extending Haskell's syntax via quick-and-dirty preprocessors devel/hs-time-locale-compat Compatibility of TimeLocale between old-locale and time-1.5 devel/hs-uuid-types Type definitions for Universally Unique Identifiers math/hs-Agda-stdlib Agda standard library math/hs-adjunctions Adjunctions and representable functors math/hs-kan-extensions Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads net-im/hs-haskell-xmpp Haskell XMPP library based on HaXml & STM net-p2p/hs-torrent BitTorrent file parser and generater net/hs-aws Amazon Web Services (AWS) for Haskell net/hs-network-uri URI manipulation security/hs-cryptonite Cryptography Primitives sink security/hs-nonce Generate cryptographic nonces shells/hs-shelly Shell-like (systems) programming in Haskell sysutils/hs-ekg-json JSON encoding of ekg metrics textproc/hs-bencode Parser and printer for bencoded data textproc/hs-cassava CSV parsing and encoding library textproc/hs-cmark Fast, accurate CommonMark (Markdown) parser and renderer textproc/hs-pandoc-citeproc Supports using pandoc with citeproc textproc/hs-regex-applicative Regex-based parsing with applicative interface textproc/hs-regex-compat-tdfa Unicode Support version of Text.Regex, using regex-tdfa textproc/hs-rfc5051 Simple unicode collation as per RFC5051 www/hs-http2 HTTP/2.0 library including frames and HPACK www/hs-multipart HTTP multipart split out of the cgi package Updated ports (317): archivers/hs-tar 0.4.0.1_8 --> 0.4.2.1 archivers/hs-zip-archive 0.2.3.4_1 --> 0.2.3.7 archivers/hs-zlib 0.5.4.1_6 --> 0.5.4.2 archivers/hs-zlib-bindings 0.1.1.3_7 --> 0.1.1.5 audio/hs-ALUT 2.3.0.1_2 --> 2.4.0.0 audio/hs-OpenAL 1.6.0.0_1 --> 1.7.0.0 audio/hs-libmpd 0.8.0.5_1 --> 0.9.0.2 benchmarks/hs-criterion 0.8.1.0_1 --> 1.1.0.0 converters/hs-aeson 0.7.0.6_1 --> 0.8.0.2 converters/hs-json 0.7_8 --> 0.9.1 databases/hs-esqueleto 1.4.4_1 --> 2.4.1 databases/hs-hedis 0.6.5 --> 0.6.9 databases/hs-mysql 0.1.1.6_1 --> 0.1.1.8 databases/hs-persistent 1.3.1.1_1 --> 2.2 databases/hs-persistent-sqlite 1.3.0.5_1 --> 2.2 databases/hs-persistent-template 1.3.1.4_1 --> 2.1.3.4 devel/hs-BNFC 2.6.0.3_8 --> 2.8 devel/hs-Boolean 0.2.1_1 --> 0.2.3 devel/hs-ConfigFile 1.1.2_1 --> 1.1.4 devel/hs-List 0.5.1_8 --> 0.5.2 devel/hs-MissingH 1.2.1.0_1 --> 1.3.0.1 devel/hs-MonadCatchIO-transformers 0.3.1.0_1 --> 0.3.1.3 devel/hs-MonadRandom 0.1.13_1 --> 0.4 devel/hs-ObjectName 1.0.0.0_14 --> 1.1.0.0 devel/hs-QuickCheck 2.6_6 --> 2.8.1 devel/hs-ReadArgs 1.2.1_8 --> 1.2.2 devel/hs-STMonadTrans 0.3.2_1 --> 0.3.3 devel/hs-ShellCheck 0.3.5 --> 0.3.8 devel/hs-Stream 0.4.7.1_1 --> 0.4.7.2 devel/hs-alex 3.1.3_1 --> 3.1.4 devel/hs-ansi-terminal 0.6.1.1_1 --> 0.6.2.1 devel/hs-ansi-wl-pprint 0.6.7.1_1 --> 0.6.7.3 devel/hs-asn1-encoding 0.8.1.3_1 --> 0.9.0 devel/hs-asn1-parse 0.8.1_1 --> 0.9.1 devel/hs-asn1-types 0.2.3_1 --> 0.3.0 devel/hs-async 2.0.1.5_1 --> 2.0.2 devel/hs-atomic-primops 0.6.0.6_1 --> 0.8 devel/hs-auto-update 0.1.0.0_1 --> 0.1.2.2 devel/hs-basic-prelude 0.3.8_1 --> 0.5.0 devel/hs-bifunctors 4.1.1.1_1 --> 5 devel/hs-blaze-builder 0.3.3.2_1 --> 0.4.0.1 devel/hs-blaze-builder-enumerator 0.2.0.6_1 --> 0.2.1.0 devel/hs-blaze-textual 0.2.0.9_1 --> 0.2.1.0 devel/hs-bloomfilter 2.0.0.0_1 --> 2.0.1.0 devel/hs-boxes 0.1.3_1 --> 0.1.4 devel/hs-bytestring-lexing 0.4.3.2 --> 0.5.0.2 devel/hs-c2hs 0.17.2_1 --> 0.26.1 devel/hs-cabal-install 1.18.0.5_1 --> 1.22.6.0 devel/hs-cereal 0.4.0.1_1 --> 0.4.1.1 devel/hs-checkers 0.3.2_1 --> 0.4.3 devel/hs-chunked-data 0.1.0.1_1 --> 0.2.0 devel/hs-classy-prelude 0.9.3_1 --> 0.12.1.1 devel/hs-classy-prelude-conduit 0.9.3_1 --> 0.12.0.1 devel/hs-cmdargs 0.10.9_1 --> 0.10.13 devel/hs-conduit 1.1.7_1 --> 1.2.5 devel/hs-conduit-combinators 0.2.8.2_1 --> 1.0.3 devel/hs-conduit-extra 1.1.3_1 --> 1.1.9.1 devel/hs-convertible 1.1.0.0_1 --> 1.1.1.0 devel/hs-cpphs 1.18.5_1 --> 1.19 devel/hs-darcs 2.8.5 --> 2.10.1 devel/hs-data-hash 0.2.0.0_1 --> 0.2.0.1 devel/hs-data-pprint 0.2.3_1 --> 0.2.4 devel/hs-datetime 0.2.1_12 --> 0.3.1 devel/hs-deepseq-generics 0.1.1.1_1 --> 0.1.1.2 devel/hs-dlist 0.7.1_1 --> 0.7.1.1 devel/hs-edit-distance 0.2.1.2_7 --> 0.2.2.1 devel/hs-either 4.3.0.1_1 --> 4.4.1 devel/hs-enclosed-exceptions 1.0.0.2_1 --> 1.0.1.1 devel/hs-equivalence 0.2.5_1 --> 0.3.1 devel/hs-errors 1.4.7_1 --> 2.0.0 devel/hs-exceptions 0.6.1_1 --> 0.8.0.2 devel/hs-fast-logger 2.2.0_1 --> 2.4.1 devel/hs-fgl 5.5.0.1_1 --> 5.5.2.1 devel/hs-file-embed 0.0.7_1 --> 0.0.9 devel/hs-filemanip 0.3.6.2_8 --> 0.3.6.3 devel/hs-filestore 0.6.0.3_1 --> 0.6.1 devel/hs-free 4.9_1 --> 4.12.1 devel/hs-fsnotify 0.1.0.3_1 --> 0.2.1 devel/hs-gconf 0.12.5.0_1 --> 0.13.0.2 devel/hs-generic-deriving 1.6.3_1 --> 1.8.0 devel/hs-ghc-events 0.4.3.0_1 --> 0.4.4.0 devel/hs-gio 0.12.5.3_1 --> 0.13.1.0 devel/hs-git-annex 5.20140817_1 --> 5.20150727 devel/hs-glib 0.12.5.4_1 --> 0.13.1.1 devel/hs-gtk2hs-buildtools 0.12.5.2_2 --> 0.13.0.4 devel/hs-haddock 2.14.3_1 --> 2.16.1 devel/hs-haddock-library 1.1.0_1 --> 1.2.1 devel/hs-happy 1.19.4_1 --> 1.19.5 devel/hs-hashable 1.2.2.0_1,1 --> 1.2.3.3,1 devel/hs-hashtables 1.1.2.1_1 --> 1.2.0.2 devel/hs-haskell-src 1.0.1.6_1 --> 1.0.2.0 devel/hs-haskell-src-exts 1.15.0.1_1 --> 1.16.0.1 devel/hs-hasktags 0.69.0_1 --> 0.69.1 devel/hs-hastache 0.6.0_1 --> 0.6.1 devel/hs-hinotify 0.3.7_1 --> 0.3.8.1 devel/hs-hint 0.4.2.0_1 --> 0.4.2.3 devel/hs-hlint 1.9.3_1 --> 1.9.21 devel/hs-hoogle 4.2.34_1 --> 4.2.41 devel/hs-hslogger 1.2.4_1 --> 1.2.9 devel/hs-hslua 0.3.13_1 --> 0.4.0 devel/hs-hspec 1.11.0_1 --> 2.1.10 devel/hs-hspec-expectations 0.6.0.1_1 --> 0.7.1 devel/hs-keys 3.10.1_1 --> 3.10.2 devel/hs-language-c 0.4.5_1 --> 0.4.7 devel/hs-language-javascript 0.5.13_1 --> 0.5.14.2 devel/hs-lens 4.3.3_1 --> 4.12.3 devel/hs-lifted-base 0.2.3.0_1 --> 0.2.3.6 devel/hs-mmorph 1.0.3_1 --> 1.0.4 devel/hs-monad-control 0.3.3.0_1 --> 1.0.0.4 devel/hs-monad-logger 0.3.7.1_1 --> 0.3.13.2 devel/hs-monad-loops 0.4.2.1_1 --> 0.4.3 devel/hs-monad-par 0.3.4.6_1 --> 0.3.4.7 devel/hs-mono-traversable 0.6.1_1 --> 0.9.2.1 devel/hs-mtl 2.1.3.1_1 --> 2.2.1 devel/hs-mueval 0.9.1.1_1 --> 0.9.1.1.2 devel/hs-murmur-hash 0.1.0.7_1 --> 0.1.0.8 devel/hs-optparse-applicative 0.9.1.1_1 --> 0.11.0.2 devel/hs-parallel 3.2.0.4_1 --> 3.2.0.6 devel/hs-pcre-light 0.4.0.2_1 --> 0.4.0.3 devel/hs-primitive 0.5.2.1_1 --> 0.6 devel/hs-profunctors 4.2.0.1_1 --> 5.1.1 devel/hs-project-template 0.1.4.1_1 --> 0.2.0 devel/hs-random 1.0.1.1_10 --> 1.1 devel/hs-reflection 1.5.1_1 --> 2 devel/hs-resource-pool 0.2.3.0_1 --> 0.2.3.2 devel/hs-resourcet 1.1.2.3_1 --> 1.1.6 devel/hs-safe 0.3.7_1 --> 0.3.9 devel/hs-scientific 0.3.3.0_1 --> 0.3.3.8 devel/hs-securemem 0.1.3_1 --> 0.1.9 devel/hs-setenv 0.1.1.1_1 --> 0.1.1.3 devel/hs-shake 0.13.2_1 --> 0.15.5 devel/hs-silently 1.2.4.1_7 --> 1.2.5 devel/hs-stm 2.4.2_6 --> 2.4.4 devel/hs-stm-chans 3.0.0.2_1 --> 3.0.0.4 devel/hs-streaming-commons 0.1.4.1_1 --> 0.1.12.1 devel/hs-syb 0.4.1_1 --> 0.5.1 devel/hs-syb-with-class 0.6.1.5_1 --> 0.6.1.6 devel/hs-system-fileio 0.3.14_1 --> 0.3.16.3 devel/hs-system-filepath 0.4.12_1 --> 0.4.13.4 devel/hs-tagged 0.7.2_1 --> 0.8.1 devel/hs-test-framework 0.8.0.3_1 --> 0.8.1.1 devel/hs-text 1.1.0.0_1 --> 1.2.1.3 devel/hs-text-icu 0.6.3.7_2 --> 0.7.0.1 devel/hs-threads 0.5.1.2_1 --> 0.5.1.3 devel/hs-threadscope 0.2.4_1 --> 0.2.7 devel/hs-timezone-olson 0.1.4_1 --> 0.1.7 devel/hs-timezone-series 0.1.3_1 --> 0.1.5.1 devel/hs-transformers-base 0.4.2_1 --> 0.4.4 devel/hs-transformers-compat 0.3.3.4_1 --> 0.4.0.4 devel/hs-unix-compat 0.4.1.3_1 --> 0.4.1.4 devel/hs-unix-time 0.3.3_1 --> 0.3.5 devel/hs-unordered-containers 0.2.4.0_1 --> 0.2.5.1 devel/hs-utf8-string 0.3.8_1 --> 1 devel/hs-uuagc 0.9.51_1 --> 0.9.52.1 devel/hs-uuagc-cabal 1.0.5.0_1 --> 1.0.6.0 devel/hs-uuid 1.3.3_1 --> 1.3.11 devel/hs-uulib 0.9.16_1 --> 0.9.20 devel/hs-vault 0.3.0.3_1 --> 0.3.0.4 devel/hs-vector 0.10.9.1_1 --> 0.10.12.3 devel/hs-vector-algorithms 0.6.0.3_1 --> 0.7.0.1 devel/hs-vector-instances 3.3_1 --> 3.3.1 devel/hs-vector-th-unbox 0.2.1.0_1 --> 0.2.1.2 devel/hs-void 0.6.1_1 --> 0.7 devel/hs-word8 0.1.1_1 --> 0.1.2 dns/hs-dns 1.4.2_1 --> 2.0.0 graphics/hs-JuicyPixels 3.1.6.1_1 --> 3.2.6 graphics/hs-cairo 0.12.5.3_1 --> 0.13.1.0 graphics/hs-dia-base 0.1.1.2_8 --> 0.1.1.3 graphics/hs-dia-functions 0.2.1.3_8 --> 0.2.1.4 graphics/hs-svgcairo 0.12.5.2_1 --> 0.13.0.3 lang/hs-brainfuck 0.1_15 --> 0.1.0.2 lang/hs-unlambda 0.1.3_8 --> 0.1.4.1 mail/hs-email-validate 2.0.1_1 --> 2.1.3 mail/hs-mime 0.4.0.1_1 --> 0.4.0.2 mail/hs-mime-mail 0.4.5.2_1 --> 0.4.9 mail/hs-mime-types 0.1.0.4_1 --> 0.1.0.6 math/hs-Agda 2.4.0.2_1 --> 2.4.2.3 math/hs-NumInstances 1.3_6 --> 1.4 math/hs-categories 1.0.6_1 --> 1.0.7 math/hs-comonad 4.2.2_1 --> 4.2.7.2 math/hs-contravariant 1.1_1 --> 1.3.2 math/hs-data-lens 2.10.5_1 --> 2.10.7 math/hs-data-lens-template 2.1.8_1 --> 2.1.9 math/hs-ieee754 0.7.3_10 --> 0.7.6 math/hs-mwc-random 0.13.1.2_1 --> 0.13.3.2 math/hs-pointed 4.1_1 --> 4.2.0.2 math/hs-semigroupoids 4.0.4_1 --> 5.0.0.3 math/hs-semigroups 0.15.2_1 --> 0.16.2.2 math/hs-statistics 0.13.2.1_1 --> 0.13.2.3 math/hs-vector-space 0.8.7_1 --> 0.10.2 net/hs-connection 0.2.3_1 --> 0.2.5 net/hs-gsasl 0.3.5_1 --> 0.3.6 net/hs-hoauth2 0.4.3 --> 0.4.8 net/hs-iproute 1.3.1_1 --> 1.5.0 net/hs-network 2.4.2.3_1 --> 2.6.2.1 net/hs-network-info 0.2.0.5_1 --> 0.2.0.7 net/hs-network-multicast 0.0.11_1 --> 0.1.0 net/hs-network-protocol-xmpp 0.4.6_2 --> 0.4.8 net/hs-simple-sendfile 0.2.15_1 --> 0.2.21 print/hs-hscolour 1.20.3_8,1 --> 1.23,1 security/hs-DRBG 0.5.2_1 --> 0.5.4 security/hs-HsOpenSSL 0.11_2 --> 0.11.1.1 security/hs-RSA 2.0.0_1 --> 2.1.0.1 security/hs-SHA 1.6.4.1_1 --> 1.6.4.2 security/hs-cipher-aes 0.2.8_1 --> 0.2.11 security/hs-cipher-aes128 0.6.4_1 --> 0.7.0.1 security/hs-clientsession 0.9.0.3_1 --> 0.9.1.1 security/hs-cprng-aes 0.5.2_1 --> 0.6.1 security/hs-crypto-api 0.13_1 --> 0.13.2 security/hs-crypto-conduit 0.5.4_1 --> 0.5.5 security/hs-crypto-numbers 0.2.3_1 --> 0.2.7 security/hs-crypto-pubkey 0.2.4_1 --> 0.2.8 security/hs-crypto-pubkey-types 0.4.2.2_1 --> 0.4.3 security/hs-crypto-random 0.0.7_1 --> 0.0.9 security/hs-entropy 0.3.2_1 --> 0.3.7 security/hs-gnutls 0.1.5_1 --> 0.2 security/hs-pwstore-fast 2.4.1_1 --> 2.4.4 security/hs-skein 1.0.9_1 --> 1.0.9.3 security/hs-tls 1.2.8_1 --> 1.3.1 security/hs-x509 1.4.11_1 --> 1.6.0 security/hs-x509-store 1.4.4_1 --> 1.6.0 security/hs-x509-system 1.4.5_1 --> 1.6.0 security/hs-x509-validation 1.5.0_1 --> 1.6.0 sysutils/hs-angel 0.5.0_1 --> 0.6.2 sysutils/hs-ekg 0.4.0.1_1 --> 0.4.0.8 sysutils/hs-ekg-core 0.1.0.1_1 --> 0.1.1.0 textproc/hs-Diff 0.3.0_1 --> 0.3.2 textproc/hs-HStringTemplate 0.7.3_1 --> 0.8.3 textproc/hs-HaXml 1.24.1_1 --> 1.25.3 textproc/hs-attoparsec 0.10.4.0_7 --> 0.12.1.6 textproc/hs-attoparsec-enumerator 0.3.3_1 --> 0.3.4 textproc/hs-blaze-html 0.7.0.2_1 --> 0.8.1.0 textproc/hs-blaze-markup 0.6.1.0_1 --> 0.7.0.2 textproc/hs-case-insensitive 1.1.0.3_1 --> 1.2.0.4 textproc/hs-citeproc-hs 0.3.9_1 --> 0.3.10 textproc/hs-double-conversion 0.2.0.6_7 --> 2.0.1.0 textproc/hs-feed 0.3.9.2_1 --> 0.3.10.0 textproc/hs-hexpat 0.20.6_1 --> 0.20.9 textproc/hs-highlighting-kate 0.5.11.1 --> 0.6 textproc/hs-hs-bibutils 5.0_6 --> 5.5 textproc/hs-html-conduit 1.1.0.5_1 --> 1.2.0 textproc/hs-hxt 9.3.1.4_1 --> 9.3.1.15 textproc/hs-hxt-charproperties 9.1.1.1_1 --> 9.2.0.1 textproc/hs-hxt-regex-xmlschema 9.1.0_7 --> 9.2.0.2 textproc/hs-hxt-unicode 9.0.2.2_1 --> 9.0.2.4 textproc/hs-lhs2tex 1.18.1_8 --> 1.19 textproc/hs-pandoc 1.13.2 --> 1.15.0.6 textproc/hs-pandoc-types 1.12.4.1_1 --> 1.12.4.5 textproc/hs-parsec 3.1.5_1 --> 3.1.9 textproc/hs-polyparse 1.9_6 --> 1.11 textproc/hs-stringsearch 0.3.6.5_1 --> 0.3.6.6 textproc/hs-tagsoup 0.13.1_1 --> 0.13.3 textproc/hs-tagstream-conduit 0.5.5.1_1 --> 0.5.5.3 textproc/hs-texmath 0.8.0.1 --> 0.8.3 textproc/hs-uri 0.1.6.2_1 --> 0.1.6.3 textproc/hs-xml 1.3.13_6 --> 1.3.14 textproc/hs-xml-conduit 1.2.1_1 --> 1.3.1 textproc/hs-xml-hamlet 0.4.0.9_1 --> 0.4.0.11 textproc/hs-xml-types 0.3.4_1 --> 0.3.6 textproc/hs-xmlhtml 0.2.3.2_1 --> 0.2.3.4 textproc/hs-yaml 0.8.8.4_1 --> 0.8.13 www/hs-DAV 1.0.1_1 --> 1.0.7 www/hs-HTTP 4000.2.10_1 --> 4000.2.20 www/hs-authenticate 1.3.2.9_1 --> 1.3.2.11 www/hs-cgi 3001.1.8.5_1,1 --> 3001.2.2.2,1 www/hs-cookie 0.4.1.2_1 --> 0.4.1.6 www/hs-gitit 0.10.6.1_1 --> 0.11.1 www/hs-hS3 0.5.8_1 --> 0.5.9 www/hs-happstack-server 7.3.7_1 --> 7.4.4 www/hs-heist 0.13.1.2_1 --> 0.14.1.1 www/hs-hjsmin 0.1.4.7_1 --> 0.1.5.0 www/hs-http-client 0.3.6.1_1 --> 0.4.20 www/hs-http-conduit 2.1.4_1 --> 2.1.8 www/hs-http-date 0.0.4_8 --> 0.0.6.1 www/hs-http-reverse-proxy 0.4.0.1_1 --> 0.4.2 www/hs-http-server 1.0.4_1 --> 1.0.6 www/hs-http-types 0.8.5_1 --> 0.8.6 www/hs-oeis 0.3.5_1 --> 0.3.6 www/hs-path-pieces 0.1.4_1 --> 0.2.0 www/hs-recaptcha 0.1.0.2_1 --> 0.1.0.3 www/hs-shakespeare 2.0.1.1_1 --> 2.0.5 www/hs-snap 0.13.2.8_1 --> 0.14.0.6 www/hs-snap-core 0.9.6.3_1 --> 0.9.7.2 www/hs-snap-server 0.9.4.5_1 --> 0.9.5.1 www/hs-wai 3.0.1.1_1 --> 3.0.3.0 www/hs-wai-app-static 3.0.0_1 --> 3.1.1 www/hs-wai-extra 3.0.1.2_1 --> 3.0.10 www/hs-wai-logger 2.2.0_1 --> 2.2.4.1 www/hs-warp 3.0.0.5_1 --> 3.1.3 www/hs-warp-tls 3.0.0_1 --> 3.1.1 www/hs-webkit 0.12.6.1_1 --> 0.13.1.3 www/hs-xss-sanitize 0.3.5.2_1 --> 0.3.5.6 www/hs-yesod 1.2.6.1_1 --> 1.4.1.5 www/hs-yesod-auth 1.3.4_1 --> 1.4.6 www/hs-yesod-auth-hashdb 1.3.0.1_1 --> 1.4.2.2 www/hs-yesod-bin 1.2.12.3_1 --> 1.4.13.3 www/hs-yesod-core 1.2.19_1 --> 1.4.13 www/hs-yesod-form 1.3.14_1 --> 1.4.4.1 www/hs-yesod-persistent 1.2.3_1 --> 1.4.0.3 www/hs-yesod-static 1.2.4_1 --> 1.5.0.2 www/hs-yesod-test 1.2.3.2_1 --> 1.4.3.1 x11-toolkits/hs-GLURaw 1.4.0.1_1 --> 1.5.0.1 x11-toolkits/hs-GLUT 2.5.1.1_1,1 --> 2.7.0.1,1 x11-toolkits/hs-OpenGL 2.9.2.0_1,1 --> 2.12.0.1,1 x11-toolkits/hs-OpenGLRaw 1.5.0.0_1 --> 2.5.1.0 x11-toolkits/hs-gtk 0.12.5.7_1 --> 0.13.9 x11-toolkits/hs-gtk2hs 0.12.5_1,1 --> 0.13,1 x11-toolkits/hs-gtksourceview2 0.12.5.0_1 --> 0.13.1.3 x11-toolkits/hs-pango 0.12.5.3_1 --> 0.13.1.0 x11-toolkits/hs-vte 0.12.5.0_1 --> 0.13.0.2 x11-toolkits/hs-wx 0.90.1.0_1 --> 0.91.0.0 x11-toolkits/hs-wxc 0.90.1.1_1 --> 0.91.0.0 x11-toolkits/hs-wxcore 0.90.1.1_1 --> 0.91.0.0 x11-toolkits/hs-wxdirect 0.90.1.1_1 --> 0.91.0.0 x11-wm/hs-xmonad 0.11_10 --> 0.11.1 x11-wm/hs-xmonad-contrib 0.11.3_2 --> 0.11.4 x11/hs-xmobar 0.21_1 --> 0.23.1 Removed ports (14): devel/hs-MaybeT Support for computations with failures (deprecated) devel/hs-geniplate Use template Haskell to generate Uniplate-like functions (upstream support is discontinued) devel/hs-glade Binding to the glade library (upstream support is discontinued) devel/hs-haskell-platform The Haskell Platform (it is not tracked any more) devel/hs-ranges Ranges and various functions on them (deprecated) devel/hs-testpack Test Utility Pack for HUnit and QuickCheck (upstream is unmaintained) graphics/hs-soegtk GUI functions as used in the book "The Haskell School of Expression" (upstream support is discontinued) lang/hs-epic Compiler for a simple functional language (it is not needed any more) math/hs-nats Natural numbers (it has been merged into the base library of GHC) multimedia/hs-gstreamer Binding to the GStreamer open source multimedia framework (upstream support is discontinued) [2] www/hs-scgi Haskell library for writing SCGI programs (deprecated) www/hs-yesod-platform Meta package for Yesod (upstream support is discontinued) www/hs-yesod-routes Effective routing for Yesod (upstream support is discontinued) x11-toolkits/hs-gtkglext Binding to the GTK+ OpenGL Extension (upstream support is discontinued) PR: 181049 [1] PR: 197925 [2] PR: 200684 [3] Submitted by: arrowdodger <6yearold@gmail.com> [1] Obtained from: FreeBSD Haskell
2015-08-21 01:02:14 +02:00
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>
2010-01-04 04:24:25 +01:00
.include <bsd.port.mk>
Reference in a new issue Copy permalink