diff options
| author | Frederik Rietdijk <fridh@fridh.nl> | 2019-08-03 08:13:38 +0200 |
|---|---|---|
| committer | Frederik Rietdijk <fridh@fridh.nl> | 2019-08-03 08:14:25 +0200 |
| commit | 658c0f0ce9ff56b76f1ad459d44c570c49f8a508 (patch) | |
| tree | 0c0a54bd501ea8f1719c9af84bd7b8e36d271005 /pkgs/development/coq-modules | |
| parent | ff3d329a8a0ddf0bf5e8572094a2d205795c3056 (diff) | |
| download | nixpkgs-658c0f0ce9ff56b76f1ad459d44c570c49f8a508.tar nixpkgs-658c0f0ce9ff56b76f1ad459d44c570c49f8a508.tar.gz nixpkgs-658c0f0ce9ff56b76f1ad459d44c570c49f8a508.tar.bz2 nixpkgs-658c0f0ce9ff56b76f1ad459d44c570c49f8a508.tar.lz nixpkgs-658c0f0ce9ff56b76f1ad459d44c570c49f8a508.tar.xz nixpkgs-658c0f0ce9ff56b76f1ad459d44c570c49f8a508.tar.zst nixpkgs-658c0f0ce9ff56b76f1ad459d44c570c49f8a508.zip | |
python38: 3.8.0b2 -> 3.8.0b3
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions