diff options
author | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2015-12-20 18:58:02 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2015-12-20 19:58:50 +0100 |
commit | 56f6be2583909cff986ec12c9f3a3c9af6e83936 (patch) | |
tree | ce34f9fb9ba3ee014b5755f43dba7f4961242997 /pkgs/development/coq-modules/ssreflect | |
parent | 0dfa1b75d4e19a488925c922ae727c230b678a0c (diff) | |
download | nixlib-56f6be2583909cff986ec12c9f3a3c9af6e83936.tar nixlib-56f6be2583909cff986ec12c9f3a3c9af6e83936.tar.gz nixlib-56f6be2583909cff986ec12c9f3a3c9af6e83936.tar.bz2 nixlib-56f6be2583909cff986ec12c9f3a3c9af6e83936.tar.lz nixlib-56f6be2583909cff986ec12c9f3a3c9af6e83936.tar.xz nixlib-56f6be2583909cff986ec12c9f3a3c9af6e83936.tar.zst nixlib-56f6be2583909cff986ec12c9f3a3c9af6e83936.zip |
saneBackendsGit 1.0.25-180-g6d8b8d5 -> 2015-12-20
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect')
0 files changed, 0 insertions, 0 deletions