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 /pkgs/applications/video/vcs/default.nix | |
| parent | 6cefed103cc8146acf4ca7ecddc481874a167d44 (diff) | |
coqPackages.math-classes: 8.18.0 → 8.19.0
coqPackages.corn: 8.18.0 → 8.19.0
Diffstat (limited to 'pkgs/applications/video/vcs/default.nix')
0 files changed, 0 insertions, 0 deletions