index
:
ports
2014Q1
2014Q2
2014Q3
2014Q4
2015Q1
2015Q2
2015Q3
2015Q4
2016Q1
2016Q2
2016Q3
2016Q4
2017Q1
2017Q2
2017Q3
2017Q4
2018Q1
2018Q2
2018Q3
2018Q4
2019Q1
2019Q2
2019Q3
2019Q4
2020Q1
2020Q2
2020Q3
2020Q4
2021Q1
2021Q2
2021Q3
2021Q4
2022Q1
2022Q2
2022Q3
2022Q4
2023Q1
2023Q2
2023Q3
2023Q4
2024Q1
2024Q2
main
FreeBSD ports tree
about
summary
refs
log
tree
commit
diff
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
Gabor Pali
2013-06-04
2
-9
/
+14
*
- Convert USE_ICONV=yes to USES=iconv
Marcus von Appen
2013-04-27
1
-1
/
+1
*
- Fix a minor dynamic linking problem for certain Haskell Cabal ports
Gabor Pali
2013-03-31
1
-0
/
+1
*
- Update Haskell ports from the development repository
Gabor Pali
2013-03-29
10
-96
/
+68
*
- Fix breakage in the DYNAMIC-enabled ports triggered by the recent
Gabor Pali
2013-02-05
3
-3
/
+23
*
- Update The Glorious Glasgow Haskell Compiler to version 7.4.2
Gabor Pali
2012-12-20
4
-11
/
+19
*
- Teach the Haskell Cabal ports to use the new options framework
Gabor Pali
2012-08-03
1
-6
/
+7
*
- Update to 2.3.0.1
Gabor Pali
2012-06-03
4
-14
/
+34
*
- Update to 2.3.0
Gabor Pali
2012-02-13
6
-51
/
+46
*
- Update devel/hs-blaze-builder to 0.3.0.1
Ashish SHUKLA
2011-07-10
1
-1
/
+1
*
Bump PORTREVISION of all ports dependent on lang/ghc as during
Ashish SHUKLA
2011-05-26
1
-0
/
+1
*
- Please welcome GHC 7.0.3
Ashish SHUKLA
2011-05-09
6
-222
/
+47
*
- Get Rid MD5 support
Martin Wilke
2011-03-20
1
-1
/
+0
*
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")
Gabor Pali
2010-08-08
1
-3
/
+3
*
- Pass maintainership to haskell@FreeBSD.org:
Giuseppe Pilichi
2010-05-26
1
-1
/
+1
*
Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
Gabor Pali
2010-05-12
2
-299
/
+222
*
Switch to use newer GMP version.
Alex Dupre
2010-04-19
1
-1
/
+2
*
Agda is a dependently typed functional programming language: It has inductive
Gabor Pali
2010-01-04
5
-0
/
+351