diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-10-14 17:21:51 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-10-14 18:45:26 +0100 |
commit | 5f9b76da63092408865ea737ca22e1e852b4dec6 (patch) | |
tree | c4b5638dcf6c42ae7d21f614c894675ffe278c06 /pkgs/development/coq-modules | |
parent | 5389dd542ca9b16bd2c41981610224c1aae695f2 (diff) | |
download | nixlib-5f9b76da63092408865ea737ca22e1e852b4dec6.tar nixlib-5f9b76da63092408865ea737ca22e1e852b4dec6.tar.gz nixlib-5f9b76da63092408865ea737ca22e1e852b4dec6.tar.bz2 nixlib-5f9b76da63092408865ea737ca22e1e852b4dec6.tar.lz nixlib-5f9b76da63092408865ea737ca22e1e852b4dec6.tar.xz nixlib-5f9b76da63092408865ea737ca22e1e852b4dec6.tar.zst nixlib-5f9b76da63092408865ea737ca22e1e852b4dec6.zip |
haskell-oo-prototypes: new package
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions