diff options
| author | Eric Bailey <yurrriq@users.noreply.github.com> | 2019-06-23 04:03:47 +0200 |
|---|---|---|
| committer | Wael Nasreddine <wael.nasreddine@gmail.com> | 2019-06-22 19:03:47 -0700 |
| commit | 2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3 (patch) | |
| tree | b4b60dc33dacb47ce3e854d5fa5aeabf7ea19b57 /pkgs/development/coq-modules/HoTT | |
| parent | 9d9b98cdfba4e94a946da4e3abb6a9b061d8725e (diff) | |
| download | nixpkgs-2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3.tar nixpkgs-2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3.tar.gz nixpkgs-2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3.tar.bz2 nixpkgs-2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3.tar.lz nixpkgs-2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3.tar.xz nixpkgs-2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3.tar.zst nixpkgs-2b5ba7f723a4a50cd452438c333e6ac4bc6e15b3.zip | |
conftest: init at 0.7.0 (#63610)
Diffstat (limited to 'pkgs/development/coq-modules/HoTT')
0 files changed, 0 insertions, 0 deletions