diff options
author | Andreas K. Huettel (dilfridge) <mail@akhuettel.de> | 2010-07-04 17:15:37 +0200 |
---|---|---|
committer | Andreas K. Huettel (dilfridge) <mail@akhuettel.de> | 2010-07-04 17:15:37 +0200 |
commit | ff8179f069b24e1d5b05110c9e41a7273bba1419 (patch) | |
tree | e7488c860df532abd3ec9acd379e198bca446f24 | |
parent | [licenses] Added CeCILL-2.0 as referenced by sci-mathematics/gappa (diff) | |
download | sci-ff8179f069b24e1d5b05110c9e41a7273bba1419.tar.gz sci-ff8179f069b24e1d5b05110c9e41a7273bba1419.tar.bz2 sci-ff8179f069b24e1d5b05110c9e41a7273bba1419.zip |
[sci-mathematics/ltl2ba] Silence repoman.
(Portage version: 2.1.8.3/git/Linux x86_64)
(Signed Manifest commit)
-rw-r--r-- | sci-mathematics/ltl2ba/ChangeLog | 8 | ||||
-rw-r--r-- | sci-mathematics/ltl2ba/Manifest | 24 | ||||
-rw-r--r-- | sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild | 7 | ||||
-rw-r--r-- | sci-mathematics/ltl2ba/metadata.xml | 8 |
4 files changed, 42 insertions, 5 deletions
diff --git a/sci-mathematics/ltl2ba/ChangeLog b/sci-mathematics/ltl2ba/ChangeLog new file mode 100644 index 000000000..c422aad1b --- /dev/null +++ b/sci-mathematics/ltl2ba/ChangeLog @@ -0,0 +1,8 @@ +# ChangeLog for sci-mathematics/ltl2ba +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# $Header: $ + + 04 Jul 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de> + ltl2ba-1.1.ebuild, +metadata.xml: + Silence repoman + diff --git a/sci-mathematics/ltl2ba/Manifest b/sci-mathematics/ltl2ba/Manifest index 2a02e42b4..2a440fe1c 100644 --- a/sci-mathematics/ltl2ba/Manifest +++ b/sci-mathematics/ltl2ba/Manifest @@ -1,2 +1,24 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + DIST ltl2ba-1.1.tar.gz 29629 RMD160 fcc694a7a12ca500c90d94761f98f2bdce5a9747 SHA1 763325e7801037d2c1a67aba889ea97b389f7d28 SHA256 a66bf05bc3fd030f19fd0114623d263870d864793b1b0a2ccf6ab6a40e7be09b -EBUILD ltl2ba-1.1.ebuild 612 RMD160 deef0c5ab683242c0d13561b6d70d438408715d4 SHA1 0b7162239dca05b773be86b3dde2718290bf1c8a SHA256 e7c424cc00b8391011f8816b5d3e7c96265fbf734eafc75b345336ad2cf9523b +EBUILD ltl2ba-1.1.ebuild 607 RMD160 a6245b3b0f282ad0a43263a4db3eb24253c708f7 SHA1 e83ae399a8d5493e5779ed4c3be129c9cddb56a4 SHA256 97fe02ff595a0cab8b71fa43c3a6a5a7cd73904e0cc3b6cadba12173e3832517 +MISC ChangeLog 244 RMD160 631c3681babf56bb11a37973965f4b29966daead SHA1 dede8ea74d562d2b9b856f78e5a9cb1c7804d1f8 SHA256 8c2728eab50fd614e4fa10da7e8a571d363594a89741f9f029b32e89c6134849 +MISC metadata.xml 215 RMD160 bc9c07aa91f2f175542244e4e4522a73558210a1 SHA1 facb283386de1c0b6b938cdcd4dde04d1694298b SHA256 13f32353652adbd3d934d41381cfc2cacc9e1127c508cebc73806cc1026ee80c +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.15 (GNU/Linux) + +iQIcBAEBAgAGBQJMMKWZAAoJENwGBM22xffeznIQAKqRamZ8uv/wOTq2VCFMEOyK +9FXP6IUd4787FAppgSZL4/ZDmHpV2z/rJHIdTmG9HTUJMTXKI2AEzcPIZ8PzGwS4 +sasW2u00ufEa2pypjEVxMGrJ4HijSz/p8VE3IvfoykCodXQ+F6rgaeZNe+kaX4aY +xymgb32b3LxLtayJTKz8nk9Zsw3TdL2uRmIH7HjM4iDV6Qb+ZxYVWFbuIgL9gMqF +lXOPPSYICo89e+UMNFikShCPTrNf0Xqq90C2kOhK2qrKNoaJ/9SU9Vn24sxZ+2zk +dBMamI7G8PkE8JV8fNTMi8XY5iJdzKSQwHkput0ciLKB/QEx8t1KqM+o+ElZbxTC +ujiZAA0879QpsdjmU9/VnZN+rYrZf2AUTe+vEtbqyQE8KQZOGpLgY29px3LQcHZ+ +nUgr3aP1ek3iP0l/jk2xFUbhCRFP/LcrjQ16/AeUvH/mlBhjQxdS7juet6jom3tV +pkIhJpaOXj6YAB1SGJsxoarUpuxXuqd4dSjosovOqyGRefM4jmSsDtk0xrdQigFn +pU9vU0taX7s3W1j3q7kJG3uDJc9KJ7koQL9m3Kpmexf1h/iCEMIgO8QVIex1mSBu +6fITx9bcRJ4dLa22VlEBLsUgCyDEwfr7KJuFakhbjPuOuYBPcQrGQqiK5/xRm0dI +UZ0zIwPPEFTQjvPLLY3W +=Ld4m +-----END PGP SIGNATURE----- diff --git a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild index 94f03a487..c0d09637e 100644 --- a/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild +++ b/sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2009 Gentoo Foundation +# Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: Exp $ +# $Header: $ -DESCRIPTION="Fast LTL to Büchi Automata Translation" +DESCRIPTION="Fast LTL to Buechi Automata Translation" HOMEPAGE="http://www.lsv.ens-cachan.fr/~gastin/${PN}/" SRC_URI="http://www.lsv.ens-cachan.fr/~gastin/${PN}/${P}.tar.gz" @@ -26,4 +26,3 @@ src_install() { dobin ltl2ba || die "dobin failed" dodoc README } - diff --git a/sci-mathematics/ltl2ba/metadata.xml b/sci-mathematics/ltl2ba/metadata.xml new file mode 100644 index 000000000..efb490d78 --- /dev/null +++ b/sci-mathematics/ltl2ba/metadata.xml @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>sci</herd> +<maintainer> + <email>sci@gentoo.org</email> +</maintainer> +</pkgmetadata> |