Logo
Explore Help
Register Sign In
gentoo-mirror/gentoo
Watch 1
Star 0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 06:37:10 -08:00
Code Issues Projects Releases Wiki Activity
Files
f7a8779945dc7c828aa96aa111a1e4a37c887679
gentoo/dev-ml/dune-private-libs
T
History
Alfredo Tupone e23364ef7d dev-ml/dune-private-libs: revert to not rm vendored
Closes: https://bugs.gentoo.org/940467
Closes: https://bugs.gentoo.org/940478
Closes: https://bugs.gentoo.org/940495
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-09-30 21:03:30 +02:00
..
files
…
dune-private-libs-2.9.1.ebuild
…
dune-private-libs-2.9.3.ebuild
…
dune-private-libs-3.16.0-r4.ebuild
dev-ml/dune-private-libs: revert to not rm vendored
2024-09-30 21:03:30 +02:00
Manifest
dev-ml/dune-private-libs: drop 3.10.0, 3.13.1-r3
2024-09-08 19:18:01 +02:00
metadata.xml
…
Powered by Gitea Version: 1.27.3 Page: 1019ms Template: 3ms
arc-green
English
Deutsch English español français italiano latviešu Nederlands polski Português de Portugal português do Brasil suomi svenska Türkçe čeština български русский српски Українська 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API