diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-05-09 22:49:12 +0700 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-05-17 10:17:18 +0200 |
| commit | 915abd3f08a06e02e06c2e6769749db4c9c38df4 (patch) | |
| tree | a5c8e0b0558a30683a9e1a59de4c50f3d12e9b51 /pkgs/development/coq-modules/HoTT | |
| parent | 354e005d6c7a910fd009b90360545fed8ddba4a2 (diff) | |
| download | nixpkgs-915abd3f08a06e02e06c2e6769749db4c9c38df4.tar nixpkgs-915abd3f08a06e02e06c2e6769749db4c9c38df4.tar.gz nixpkgs-915abd3f08a06e02e06c2e6769749db4c9c38df4.tar.bz2 nixpkgs-915abd3f08a06e02e06c2e6769749db4c9c38df4.tar.lz nixpkgs-915abd3f08a06e02e06c2e6769749db4c9c38df4.tar.xz nixpkgs-915abd3f08a06e02e06c2e6769749db4c9c38df4.tar.zst nixpkgs-915abd3f08a06e02e06c2e6769749db4c9c38df4.zip | |
coqPackages.aac-tactics: init
Diffstat (limited to 'pkgs/development/coq-modules/HoTT')
0 files changed, 0 insertions, 0 deletions