diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2018-10-05 22:33:15 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-05 22:33:15 -0500 |
| commit | 0421891aaa0fb7b4895224bf8d81c1a7dafecd59 (patch) | |
| tree | c10815bca5d999cbe4313fe0b47f3eb2c1965dd3 /pkgs/development/libraries | |
| parent | 673a63875d8ca46cc86820d3985b00a90f8eeb4a (diff) | |
| parent | c71cc0b98b23ddf3604bd768bd94751e396fcfa4 (diff) | |
| download | nixlib-0421891aaa0fb7b4895224bf8d81c1a7dafecd59.tar nixlib-0421891aaa0fb7b4895224bf8d81c1a7dafecd59.tar.gz nixlib-0421891aaa0fb7b4895224bf8d81c1a7dafecd59.tar.bz2 nixlib-0421891aaa0fb7b4895224bf8d81c1a7dafecd59.tar.lz nixlib-0421891aaa0fb7b4895224bf8d81c1a7dafecd59.tar.xz nixlib-0421891aaa0fb7b4895224bf8d81c1a7dafecd59.tar.zst nixlib-0421891aaa0fb7b4895224bf8d81c1a7dafecd59.zip | |
Merge pull request #47589 from vbgl/coq-coqprime-init
coqPackages.coqprime: init at 8.7.2 & 8.8
Diffstat (limited to 'pkgs/development/libraries')
0 files changed, 0 insertions, 0 deletions