diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-03-05 18:57:29 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-03-05 19:46:01 +0100 |
| commit | a0c345f0f93e693ed3821c2bebdf5104c1e1e7a6 (patch) | |
| tree | d0965797723fb0f865b11edae3ee1a1bae6a75d0 /dev-lang/luau/Manifest | |
| parent | app-text/texlive-core: overhaul ebuild, drop obsolete configure options, tlmg... (diff) | |
| download | gentoo-a0c345f0f93e693ed3821c2bebdf5104c1e1e7a6.tar.gz gentoo-a0c345f0f93e693ed3821c2bebdf5104c1e1e7a6.tar.bz2 gentoo-a0c345f0f93e693ed3821c2bebdf5104c1e1e7a6.zip | |
dev-lang/boogie: bump to 3.1.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/luau/Manifest')
0 files changed, 0 insertions, 0 deletions