rpms/ghc-vector
7
0
Fork 0
Code Issues Pull Requests Releases Activity
Efficient Arrays
26 Commits 4 Branches 1 Tag 88 KiB
RPM Spec 100%
c220c228d5
Go to file
Jens Petersen c220c228d5 update to 0.10.9.1
2014-08-08 16:03:04 +02:00
.gitignore update to 0.10.9.1 2014-08-08 16:03:04 +02:00
ghc-vector.spec update to 0.10.9.1 2014-08-08 16:03:04 +02:00
sources update to 0.10.9.1 2014-08-08 16:03:04 +02:00
vector-debian-no_ann_without_ghci.patch correct the annotation patch to not use DEBIAN_NO_GHCI 2012-12-06 15:05:43 +09:00