Jens Petersen
|
7d30bcc63e
|
add tarballs
|
2017-03-10 14:30:32 +09:00 |
|
Jens Petersen
|
1072e25653
|
update to 2.5.2
|
2017-02-27 07:49:02 +09:00 |
|
Jens Petersen
|
42b7c9e446
|
update to 2.4.2.5
subpackage new dep geniplate-mirror
|
2016-10-06 11:01:47 +09:00 |
|
Jens Petersen
|
6984fbff07
|
update to 2.4.2.2
|
2015-04-03 13:25:00 +09:00 |
|
Jens Petersen
|
d6f36b5d3e
|
update to 2.4.2
needs new deps:
STMonadTrans, boxes, data-hash, equivalence, and QuickCheck 2.7.5+
|
2014-09-03 16:53:17 +09:00 |
|
Jens Petersen
|
039fa0882f
|
update to 2.3.2.2
|
2013-10-31 18:29:45 +09:00 |
|
Jens Petersen
|
c05cc5b7d3
|
Agda hackage (ghc-Agda) replaces deprecated Agda-executable
|
2013-06-14 18:46:35 +09:00 |
|
Jens Petersen
|
1567c74efa
|
import (#710383)
|
2012-07-15 16:28:54 +09:00 |
|
Fedora Release Engineering
|
18fff63fc3
|
Initial setup of the repo
|
2012-07-13 22:58:13 +00:00 |
|