| commit | eb238f622988264a8ccaec8751344d709bfd21c7 | |
| author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | |
| Fri, 18 Feb 2022 08:15:48 +0000 (18 09:15 +0100) | ||
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | |
| Fri, 18 Feb 2022 08:15:48 +0000 (18 09:15 +0100) | ||
| tree | 8727dd76bfd1d22f14ab78defaffd301cd62d61c | treesnapshot (tar.gz zip) |
| parent | 93b41fa4e30643530ea3929796237f3141954692 | commitdiff |
Put an upper bound on Flocq.
| opam/why3-coq.opam | diffblobblamehistory |