| commit | bd8794898c94c3f8c3076ca9eb2ce5bd6ffeedbf | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 3 Oct 2024 11:32:48 +0000 (3 13:32 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 3 Oct 2024 11:32:48 +0000 (3 13:32 +0200) | ||
| tree | d84efef73e203a1173beeeeaa74bcfd9d11c085e | treesnapshot (tar.gz zip) |
| parent | 81717bf38523bde131b119ac4470a3a4a7a57313 | commitdiff |
| parent | 27fb33580e0c867eb4d4c77852413808b2fd0c8c | commitdiff |
Merge branch 'support-for-coq-8.19.2' into 'master'
Support for Coq 8.19.2
See merge request why3/why3!1140
Support for Coq 8.19.2
See merge request why3/why3!1140