diff options
| author | Márton Boros <martonboros@gmail.com> | 2018-03-09 10:22:53 +0100 |
|---|---|---|
| committer | Márton Boros <martonboros@gmail.com> | 2018-03-09 10:22:53 +0100 |
| commit | 4d4171d5f640212909360f892fc3405bd40217c1 (patch) | |
| tree | a186909e75a7a50be7330f07b95c1c616a16d2a6 /pkgs/development/coq-modules/equations | |
| parent | 4f1d26288f1fd3c70e6a5ca4baaf8fab504652b7 (diff) | |
| download | nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.gz nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.bz2 nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.lz nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.xz nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.tar.zst nixpkgs-4d4171d5f640212909360f892fc3405bd40217c1.zip | |
idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13
Diffstat (limited to 'pkgs/development/coq-modules/equations')
0 files changed, 0 insertions, 0 deletions