Jens Petersen
|
938a3e810b
|
bump geniplate-mirror to 0.7.9
|
2023-01-29 22:44:09 +08:00 |
|
Jens Petersen
|
f6f1c37003
|
2.6.2.2
|
2022-06-07 16:05:14 +08:00 |
|
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
|
147e1019eb
|
remove uri-encode from sources
|
2020-09-03 15:50:43 +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
|
423f8f8744
|
add uri-encode source
|
2018-01-12 13:45:23 +09:00 |
|
Jens Petersen
|
e2ed4b024d
|
update to 2.5.3
|
2018-01-02 18:54:29 +08:00 |
|
Jens Petersen
|
253d8eaad6
|
ieee754 is now a separate package
|
2017-12-26 10:58:59 +01:00 |
|
Jens Petersen
|
5bc04f5759
|
gitrev is now packaged
|
2017-11-15 12:44:12 +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 |