diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-09-28 00:03:44 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-04 20:33:53 +0200 |
commit | 63df91f789fd973ece46ad9547f6a72ea7dfb231 (patch) | |
tree | 62116071ddbf50541005aca12f3241379057fe57 /nixos/maintainers | |
parent | c50a069e69e597f3989fa8f1cf6e41998b271650 (diff) |
coqPackages.coq-ext-lib: 0.11.3 → 0.11.4
Diffstat (limited to 'nixos/maintainers')
0 files changed, 0 insertions, 0 deletions