diff options
| author | Cyril Cohen <cohen@crans.org> | 2019-03-05 13:56:55 +0100 |
|---|---|---|
| committer | Cyril Cohen <cohen@crans.org> | 2019-05-23 15:05:15 +0200 |
| commit | c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5 (patch) | |
| tree | e23a40f462c52b0df40ab5f73abcbaa4ebc1f3f7 /pkgs/development/coq-modules/Verdi | |
| parent | edb1668130d26319ea15b68eff7e180bcc113dfd (diff) | |
| download | nixpkgs-c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5.tar nixpkgs-c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5.tar.gz nixpkgs-c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5.tar.bz2 nixpkgs-c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5.tar.lz nixpkgs-c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5.tar.xz nixpkgs-c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5.tar.zst nixpkgs-c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5.zip | |
updating packages coqPackages.bignums and coqPackages.equations
Diffstat (limited to 'pkgs/development/coq-modules/Verdi')
0 files changed, 0 insertions, 0 deletions