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-06 17:47:07 -08:00
Code Issues Projects Releases Wiki Activity
Files
29b74f809f01589f120e4e2df711d87f04e3d00c
gentoo/dev-lang/polyml
T
History
Michał Górny 8d5bf2b8f5 */*: Remove ml@ from packages maintainers
Bug: https://bugs.gentoo.org/695782
Signed-off-by: Michał Górny <mgorny@gentoo.org>
2019-12-13 16:24:05 +01:00
..
files
dev-lang/polyml: Fix build with libffi3
2019-04-05 23:14:49 +02:00
Manifest
dev-lang/polyml: bump to 5.8
2019-04-06 21:12:13 +02:00
metadata.xml
*/*: Remove ml@ from packages maintainers
2019-12-13 16:24:05 +01:00
polyml-5.4.1.ebuild
*/*: [QA] Remove redundant || die guards
2019-12-11 13:32:00 +01:00
polyml-5.5.0.ebuild
*/*: [QA] Remove redundant || die guards
2019-12-11 13:32:00 +01:00
polyml-5.5.1.ebuild
*/*: [QA] Remove redundant || die guards
2019-12-11 13:32:00 +01:00
polyml-5.5.2.ebuild
*/*: [QA] Remove redundant || die guards
2019-12-11 13:32:00 +01:00
polyml-5.6.ebuild
*/*: [QA] Remove redundant || die guards
2019-12-11 13:32:00 +01:00
polyml-5.8.ebuild
*/*: [QA] Remove redundant || die guards
2019-12-11 13:32:00 +01:00
Powered by Gitea Version: 1.27.3 Page: 907ms Template: 2ms
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