Christian Neukirchen
|
ab2844fe6b
|
add update_* for Christian Neukirchen's packages
|
2014-10-31 15:27:14 +01:00 |
|
Christian Neukirchen
|
8901e92e9b
|
ghc-bin: bump to 7.8.3
|
2014-07-11 18:10:49 +02:00 |
|
Juan RP
|
ce5d2f1153
|
ghc-bin: provides/replaces ghc.
|
2014-07-11 10:41:26 +02:00 |
|
Christian Neukirchen
|
ee222dff65
|
New package: ghc-bin-7.8.2
|
2014-07-09 20:03:06 +02:00 |
|