diff options
| author | André-Patrick Bubel <code@apb.name> | 2018-07-16 14:46:25 +0200 |
|---|---|---|
| committer | André-Patrick Bubel <code@apb.name> | 2018-07-18 19:08:38 +0200 |
| commit | 6878c20af9d500c603a22d5597681c3b370edfb7 (patch) | |
| tree | 6bb2a8d153b5f21737fc4470546e41c7eb9467aa /pkgs/top-level/coq-packages.nix | |
| parent | 0103ae2f6db2835708bf754d6332bbb740640b5d (diff) | |
| download | nixlib-6878c20af9d500c603a22d5597681c3b370edfb7.tar nixlib-6878c20af9d500c603a22d5597681c3b370edfb7.tar.gz nixlib-6878c20af9d500c603a22d5597681c3b370edfb7.tar.bz2 nixlib-6878c20af9d500c603a22d5597681c3b370edfb7.tar.lz nixlib-6878c20af9d500c603a22d5597681c3b370edfb7.tar.xz nixlib-6878c20af9d500c603a22d5597681c3b370edfb7.tar.zst nixlib-6878c20af9d500c603a22d5597681c3b370edfb7.zip | |
vcv-rack: init at 0.6.2b
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions