diff options
author | zimbatm <zimbatm@zimbatm.com> | 2019-08-12 09:34:23 +0200 |
---|---|---|
committer | zimbatm <zimbatm@zimbatm.com> | 2019-08-12 09:34:23 +0200 |
commit | a0a0106f59c6ef120c04d9be30c4ae09f7eda620 (patch) | |
tree | 61aedf63ba493c839ae7908caa49d754ad3e36b8 /pkgs/development/coq-modules | |
parent | 3ea6859512736debc0f3c9456db6d98ad4134993 (diff) | |
download | nixpkgs-a0a0106f59c6ef120c04d9be30c4ae09f7eda620.tar nixpkgs-a0a0106f59c6ef120c04d9be30c4ae09f7eda620.tar.gz nixpkgs-a0a0106f59c6ef120c04d9be30c4ae09f7eda620.tar.bz2 nixpkgs-a0a0106f59c6ef120c04d9be30c4ae09f7eda620.tar.lz nixpkgs-a0a0106f59c6ef120c04d9be30c4ae09f7eda620.tar.xz nixpkgs-a0a0106f59c6ef120c04d9be30c4ae09f7eda620.tar.zst nixpkgs-a0a0106f59c6ef120c04d9be30c4ae09f7eda620.zip |
pre-commit: 1.17.0 -> 1.18.1
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions