diff options
| author | Guanpeng Xu <herberteuler@gmail.com> | 2019-07-24 04:23:00 +0800 |
|---|---|---|
| committer | Aristid Breitkreuz <aristidb@gmail.com> | 2019-07-23 22:23:00 +0200 |
| commit | 6988b0b929d78b4f237b917baad1fb979adaa5c2 (patch) | |
| tree | 4ccf2e813870ecc200f236e1d10218808f0980a9 /pkgs/development/coq-modules | |
| parent | 36a6109259b4f996ad63d9d9dd80fbdf80362571 (diff) | |
| download | nixpkgs-6988b0b929d78b4f237b917baad1fb979adaa5c2.tar nixpkgs-6988b0b929d78b4f237b917baad1fb979adaa5c2.tar.gz nixpkgs-6988b0b929d78b4f237b917baad1fb979adaa5c2.tar.bz2 nixpkgs-6988b0b929d78b4f237b917baad1fb979adaa5c2.tar.lz nixpkgs-6988b0b929d78b4f237b917baad1fb979adaa5c2.tar.xz nixpkgs-6988b0b929d78b4f237b917baad1fb979adaa5c2.tar.zst nixpkgs-6988b0b929d78b4f237b917baad1fb979adaa5c2.zip | |
mathematica: 11.3.0 -> 12.0.0 (#65031)
* mathematica: archive version 11 * mathematica: 11.3.0 -> 12.0.0
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions