From 56bd759df1d0c750a065b8c845e93d5dfa6b549d Mon Sep 17 00:00:00 2001 From: "Robin H. Johnson" Date: Sat, 8 Aug 2015 13:49:04 -0700 Subject: proj/gentoo: Initial commit MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson X-Thanks: Alec Warner - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring - wrote much python to improve cvs2svn X-Thanks: Rich Freeman - validation scripts X-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed --- sci-mathematics/p9m4/metadata.xml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 sci-mathematics/p9m4/metadata.xml (limited to 'sci-mathematics/p9m4/metadata.xml') diff --git a/sci-mathematics/p9m4/metadata.xml b/sci-mathematics/p9m4/metadata.xml new file mode 100644 index 000000000000..037c455fa05d --- /dev/null +++ b/sci-mathematics/p9m4/metadata.xml @@ -0,0 +1,14 @@ + + + + + gienah@gentoo.org + +sci-mathematics + + This is a Graphical User Interface for Prover9 and Mace4. + Prover9 is an automated theorem prover for first-order and + equational logic, and Mace4 searches for finite models and + counterexamples. Prover9 is the successor of the Otter prover. + + -- cgit v1.2.3-18-g5258