diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-04-23 21:41:17 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-04-26 11:18:25 +0200 |
commit | c82a0a78f6ad12c7932435221f8542cb12bd4e12 (patch) | |
tree | 32c353117edd31228bae455ca32da4b52efc98e0 /maintainers | |
parent | 6cefed103cc8146acf4ca7ecddc481874a167d44 (diff) |
coqPackages.math-classes: 8.18.0 → 8.19.0
coqPackages.corn: 8.18.0 → 8.19.0
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions