diff options
author | Robert Schütz <nix@dotlambda.de> | 2022-12-11 22:05:33 -0800 |
---|---|---|
committer | Robert Schütz <github@dotlambda.de> | 2022-12-13 09:13:25 -0800 |
commit | 0668224e7fdd032e4058772bb1c7fba83b57cd3f (patch) | |
tree | e4b8df8de08647d692b2d7e6055f2550bdb9e896 /doc/languages-frameworks/coq.section.md | |
parent | 93e4170a3e9388afcea73ab2346fcdc37f068587 (diff) | |
download | nixpkgs-0668224e7fdd032e4058772bb1c7fba83b57cd3f.tar nixpkgs-0668224e7fdd032e4058772bb1c7fba83b57cd3f.tar.gz nixpkgs-0668224e7fdd032e4058772bb1c7fba83b57cd3f.tar.bz2 nixpkgs-0668224e7fdd032e4058772bb1c7fba83b57cd3f.tar.lz nixpkgs-0668224e7fdd032e4058772bb1c7fba83b57cd3f.tar.xz nixpkgs-0668224e7fdd032e4058772bb1c7fba83b57cd3f.tar.zst nixpkgs-0668224e7fdd032e4058772bb1c7fba83b57cd3f.zip |
banking: 0.5.1 -> 0.6.0
Diffstat (limited to 'doc/languages-frameworks/coq.section.md')
0 files changed, 0 insertions, 0 deletions