diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-07-29 06:40:34 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-08-05 09:21:02 +0000 |
| commit | bc1417c5578002a8349f04329a9510f643b24500 (patch) | |
| tree | ea9cad7af765e4fe1068ceaa3870bf4b1bf4dd83 /pkgs/development/web | |
| parent | c4d3c5e3d59079c05ae38a59ba2d1240ab4f73a4 (diff) | |
| download | nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.gz nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.bz2 nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.lz nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.xz nixlib-bc1417c5578002a8349f04329a9510f643b24500.tar.zst nixlib-bc1417c5578002a8349f04329a9510f643b24500.zip | |
coqPackages.flocq: 3.1.0 -> 3.2.0
Ensures compatibility with Coq 8.10
Diffstat (limited to 'pkgs/development/web')
0 files changed, 0 insertions, 0 deletions