diff options
| author | Orivej Desh <orivej@gmx.fr> | 2017-11-05 15:58:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-05 15:58:33 +0000 |
| commit | 585e9ccace739657da14e0f3068d6549527edaa8 (patch) | |
| tree | 6303535af2d0d68a4161df952974104950d81e07 /pkgs/development/coq-modules/bignums | |
| parent | 711303952e7333f8667958610e3248c2a4c6b1c6 (diff) | |
| parent | 380bb673d46fbdcca42515d5a1a04c7385ff681f (diff) | |
| download | nixlib-585e9ccace739657da14e0f3068d6549527edaa8.tar nixlib-585e9ccace739657da14e0f3068d6549527edaa8.tar.gz nixlib-585e9ccace739657da14e0f3068d6549527edaa8.tar.bz2 nixlib-585e9ccace739657da14e0f3068d6549527edaa8.tar.lz nixlib-585e9ccace739657da14e0f3068d6549527edaa8.tar.xz nixlib-585e9ccace739657da14e0f3068d6549527edaa8.tar.zst nixlib-585e9ccace739657da14e0f3068d6549527edaa8.zip | |
Merge pull request #30688 from bobvanderlinden/pr-vrb-init
vrb: init at 0.5.1
Diffstat (limited to 'pkgs/development/coq-modules/bignums')
0 files changed, 0 insertions, 0 deletions