Name Last modified Size Description Parent Directory - metadata.xml 16-Jun-2016 18:18 333 Manifest 16-Jun-2016 18:18 379 minisat-0.1.2.ebuild 02-Mar-2017 02:25 607