diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-08-01 13:21:02 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-08-01 15:07:42 +0200 |
| commit | 07287b99b166a8b660cfadf84a51e7336b66537d (patch) | |
| tree | 23e7e35dcd5144dd928449764cbfcb960b8b396c /dev-vcs | |
| parent | dev-lang/haxe: bump to 4.3.5 (diff) | |
| download | gentoo-07287b99b166a8b660cfadf84a51e7336b66537d.tar.gz gentoo-07287b99b166a8b660cfadf84a51e7336b66537d.tar.bz2 gentoo-07287b99b166a8b660cfadf84a51e7336b66537d.zip | |
dev-ml/coq-menhirlib: bump to 20231231
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-vcs')
0 files changed, 0 insertions, 0 deletions