diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-02-08 08:05:31 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-02-15 10:03:39 +0100 |
| commit | 86db60f3f3b6d68c61c4a4c54bc4a5bb175a76d8 (patch) | |
| tree | 85b4135b22d7a05b20824ae8e7f5ff2c524e6acb /pkgs/development/coq-modules/Verdi | |
| parent | 1613f3db274f76b1a9c850252f1f48449bbc5d34 (diff) | |
coqPackages.flocq: 3.0.0 -> 3.1.0
Diffstat (limited to 'pkgs/development/coq-modules/Verdi')
0 files changed, 0 insertions, 0 deletions