diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2019-07-14 14:24:52 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-07-14 14:58:49 +0000 |
commit | 3bc04b576ac75058c6def3003e9ef376aec425bc (patch) | |
tree | 569cdd87b1b9f9d6dffe443126782090a2c23471 /pkgs/tools | |
parent | 21f76f83f9a3500e60fa4a6816cf2ef393395a51 (diff) | |
download | nixlib-3bc04b576ac75058c6def3003e9ef376aec425bc.tar nixlib-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.gz nixlib-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.bz2 nixlib-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.lz nixlib-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.xz nixlib-3bc04b576ac75058c6def3003e9ef376aec425bc.tar.zst nixlib-3bc04b576ac75058c6def3003e9ef376aec425bc.zip |
coq: 8.10+beta1 -> 8.10+beta2
Diffstat (limited to 'pkgs/tools')
0 files changed, 0 insertions, 0 deletions