diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-04-05 10:53:23 +0200 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-04-05 15:32:32 +0200 |
commit | d6a8d0ca5b03dbdb84070b47021b2b852429348e (patch) | |
tree | 8655953e11cdc01b19cd67f92c3f5b93d013d8f2 /maintainers/maintainer-list.nix | |
parent | 502073b09a2508cdddc1ade870d3716e0b5d09a8 (diff) | |
download | nixpkgs-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar nixpkgs-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.gz nixpkgs-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.bz2 nixpkgs-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.lz nixpkgs-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.xz nixpkgs-d6a8d0ca5b03dbdb84070b47021b2b852429348e.tar.zst nixpkgs-d6a8d0ca5b03dbdb84070b47021b2b852429348e.zip |
coq_8_11: 8.11.0 → 8.11.1
Diffstat (limited to 'maintainers/maintainer-list.nix')
0 files changed, 0 insertions, 0 deletions