Jens Petersen
|
f21a1029c6
|
update to 2.6.2.1
|
2022-03-07 13:13:30 +08:00 |
|
Jens Petersen
|
5d5c715600
|
update to 2.6.2
|
2021-08-08 05:55:53 +08:00 |
|
Jens Petersen
|
99d2241eeb
|
update to 2.6.1.3
|
2021-08-05 00:42:06 +08:00 |
|
Jens Petersen
|
a122f588a5
|
update to 2.6.1
|
2020-06-07 23:43:51 +08:00 |
|
Jens Petersen
|
13455a7ccc
|
update to 2.6.0.1
|
2019-07-29 14:33:02 +00:00 |
|
Jens Petersen
|
31025ad40c
|
update to 2.5.4.2
|
2019-02-25 10:27:50 +08:00 |
|
Jens Petersen
|
054a111019
|
update sources
|
2018-07-31 17:35:02 +09:00 |
|
Jens Petersen
|
e8fe124f84
|
update gitrev and geniplate-mirror
|
2017-11-10 16:57:10 +09:00 |
|
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 |
|