gentoo-ebuilds/sci-mathematics/coq-stdlib/metadata.xml
Maciej Barć 4889e5bf44
sci-mathematics/coq-stdlib: new package; add 9.0.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-03-16 22:11:50 +01:00

14 lines
484 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<upstream>
<changelog>https://github.com/coq/stdlib/releases/</changelog>
<bugs-to>https://github.com/coq/stdlib/issues/</bugs-to>
<remote-id type="github">coq/stdlib</remote-id>
</upstream>
</pkgmetadata>