sci-mathematics/kodkod: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Mon, 7 Oct 2019 08:26:01 +0000 (10:26 +0200)
committerMichał Górny <mgorny@gentoo.org>
Mon, 7 Oct 2019 08:26:01 +0000 (10:26 +0200)
commitacce022383c5f0a0d923e9555cf02fc30373f29f
tree29df221226d601ae28cbb9a7af27d01e73e0c4d6
parent641dff8bedc90536f3fac1dbe707b2c9300aedfd
sci-mathematics/kodkod: Remove last-rited pkg

Closes: https://bugs.gentoo.org/685802
Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/package.mask
sci-mathematics/kodkod/Manifest [deleted file]
sci-mathematics/kodkod/files/kodkod-1.5.2-changes-in-most-specific-varargs-method-selection.patch [deleted file]
sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild [deleted file]
sci-mathematics/kodkod/metadata.xml [deleted file]