gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-23 18:38:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
fa1d55a3632216af5caa1feb5d4a3b7df8eba533
gentoo/dev-lang/polyml
History
Tupone Alfredo ff358332fc dev-lang/polyml: bump to 5.8 
Closes https://bugs.gentoo.org/619990

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
2019-04-06 21:12:13 +02: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
dev-lang/polyml: Adding me as a maintainer
2019-04-05 18:44:16 +02:00
polyml-5.4.1.ebuild
…
polyml-5.5.0.ebuild
…
polyml-5.5.1.ebuild
…
polyml-5.5.2.ebuild
…
polyml-5.6.ebuild
dev-lang/polyml: bump to 5.8
2019-04-06 21:12:13 +02:00
polyml-5.8.ebuild
dev-lang/polyml: bump to 5.8
2019-04-06 21:12:13 +02:00