From ff8179f069b24e1d5b05110c9e41a7273bba1419 Mon Sep 17 00:00:00 2001 From: "Andreas K. Huettel (dilfridge)" Date: Sun, 4 Jul 2010 17:15:37 +0200 Subject: [sci-mathematics/ltl2ba] Silence repoman. (Portage version: 2.1.8.3/git/Linux x86_64) (Signed Manifest commit) --- sci-mathematics/ltl2ba/ChangeLog | 8 ++++++++ sci-mathematics/ltl2ba/Manifest | 24 +++++++++++++++++++++++- sci-mathematics/ltl2ba/ltl2ba-1.1.ebuild | 7 +++---- sci-mathematics/ltl2ba/metadata.xml | 8 ++++++++ 4 files changed, 42 insertions(+), 5 deletions(-) create mode 100644 sci-mathematics/ltl2ba/ChangeLog create mode 100644 sci-mathematics/ltl2ba/metadata.xml 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) + 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 @@ + + + +sci + + sci@gentoo.org + + -- cgit v1.2.3-65-gdbad