Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/nusmv
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/nusmv: add missing app-arch/unzip dependency.Michael Mair-Keimberger2018-08-201-0/+1
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
* sci-mathematics/nusmv: [QA] Add missing python metadata variablesDavid Seifert2017-04-201-8/+10
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* sci-mathematics/nusmv: remove unused patchesMichael Mair-Keimberger (asterix)2017-02-013-147/+0
* sci-mathematics/nusmv: Removing EAPI 0 ebuildsGerhard Bräunlich2016-09-246-659/+0
* sci-mathematics/nusmv: version bump to 2.6.0 + EAPI bumpGerhard Bräunlich2016-09-243-0/+84
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Update hashes in ManifestJustin Lecher2015-09-231-2/+2
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0810-0/+817