index
:
freebsd-ports-gnome
cinnamon
cinnamon-2.8
dependabot/npm_and_yarn/devel/electron4/files/bl-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron4/files/ini-1.3.7
dependabot/npm_and_yarn/devel/electron4/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron4/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron4/files/serve-10.1.2
dependabot/npm_and_yarn/devel/electron4/files/y18n-3.2.2
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron6/files/ini-1.3.8
dependabot/npm_and_yarn/devel/electron6/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron6/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron6/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron6/files/serve-10.1.2
gnome-3.22
gnome-3.24
gnome-3.26
gnome-3.28
gnome-3.32
gnome-3.36
gstreamer
gstreamer-1.16
gstreamer0.10-removal
main
master
mate-1.16
mate-1.18
mate-1.20
mate-1.22
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
math
/
hs-Agda
Commit message (
Expand
)
Author
Age
Files
Lines
*
- Update The Glorious Glasgow Haskell Compiler to version 7.6.3
pgj
2013-06-05
2
-9
/
+14
*
- Convert USE_ICONV=yes to USES=iconv
mva
2013-04-27
1
-1
/
+1
*
- Fix a minor dynamic linking problem for certain Haskell Cabal ports
pgj
2013-03-31
1
-0
/
+1
*
- Update Haskell ports from the development repository
pgj
2013-03-30
10
-96
/
+68
*
- Fix breakage in the DYNAMIC-enabled ports triggered by the recent
pgj
2013-02-06
3
-3
/
+23
*
- Update The Glorious Glasgow Haskell Compiler to version 7.4.2
pgj
2012-12-20
4
-11
/
+19
*
- Teach the Haskell Cabal ports to use the new options framework
pgj
2012-08-03
1
-6
/
+7
*
- Update to 2.3.0.1
pgj
2012-06-04
4
-14
/
+34
*
- Update to 2.3.0
pgj
2012-02-13
6
-51
/
+46
*
- Update devel/hs-blaze-builder to 0.3.0.1
ashish
2011-07-11
1
-1
/
+1
*
Bump PORTREVISION of all ports dependent on lang/ghc as during
ashish
2011-05-26
1
-0
/
+1
*
- Please welcome GHC 7.0.3
ashish
2011-05-09
6
-222
/
+47
*
- Get Rid MD5 support
miwi
2011-03-20
1
-1
/
+0
*
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")
pgj
2010-08-08
1
-3
/
+3
*
- Pass maintainership to haskell@FreeBSD.org:
jacula
2010-05-26
1
-1
/
+1
*
Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
pgj
2010-05-13
2
-299
/
+222
*
Switch to use newer GMP version.
ale
2010-04-19
1
-1
/
+2
*
Agda is a dependently typed functional programming language: It has inductive
pgj
2010-01-04
5
-0
/
+351