projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f972a16) | patch
package.mask: Revert "Last rite dev-lang/polyml"
authorMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 09:20:47 +0000 (11:20 +0200)
committerMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 09:22:46 +0000 (11:22 +0200)
commitd00b6268c055b490cd656abdb48729ca94139cea
tree0daa83299c7c696d33fd67de3f456b8e01810c5btree | snapshot
parentf972a163ee891b4cbcb7c811af9d916cf4559e1acommit | diff
package.mask: Revert "Last rite dev-lang/polyml"

This needs cleaning sci-mathematics/isabelle first.

Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.