projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3230f4f) | patch
dev-lang/polyml: bump to 5.8
authorTupone Alfredo <tupone@gentoo.org>
Sat, 6 Apr 2019 19:11:50 +0000 (21:11 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 6 Apr 2019 19:12:13 +0000 (21:12 +0200)
commitff358332fcfdfb62a0d5b90db18c142849e1aadb
tree0d82a6d606ae1fc639a727c0683c00b632b46ef4tree | snapshot
parent3230f4fae4d914eabb4683d57f27d0633d3adc6bcommit | diff
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
dev-lang/polyml/Manifest diff | blob | history
dev-lang/polyml/polyml-5.6.ebuild diff | blob | history
dev-lang/polyml/polyml-5.8.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.