You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Go to file
Jens Petersen 984952275d
Reverting "update to 0.10.12.3"
9 years ago
.gitignore Reverting "update to 0.10.12.3" 9 years ago
ghc-vector.spec Reverting "update to 0.10.12.3" 9 years ago
sources Reverting "update to 0.10.12.3" 9 years ago
vector-debian-no_ann_without_ghci.patch Reverting "update to 0.11.0.0" 9 years ago