35465 2003-12-09 11:11 0000 petrify-4.2 (new package) 2004-07-23 06:48:53 0000 1 1 1 Unclassified Gentoo Linux Ebuilds unspecified All All RESOLVED FIXED http://www.lsi.upc.es/~jordic/petrify/ EBUILD P2 enhancement --- 1 chrb@gentoo.org sci@gentoo.org chrb@gentoo.org 2003-12-09 11:11:54 0000 Petrify is a tool for synthesis of Petri nets and asynchronous controllers chrb@gentoo.org 2003-12-09 11:12:41 0000 Created an attachment (id=21939) app-sci/petrify/petrify-4.2.ebuild chrb@gentoo.org 2004-07-23 06:48:53 0000 done. 21939 2003-12-09 11:12 0000 app-sci/petrify/petrify-4.2.ebuild petrify-4.2.ebuild text/plain IyBDb3B5cmlnaHQgMTk5OS0yMDAyIENocmlzIEJhaW5icmlkZ2UgYW5kIEdlbnRvbyBUZWNobm9s b2dpZXMsIEluYy4KIyBEaXN0cmlidXRlZCB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5l cmFsIFB1YmxpYyBMaWNlbnNlIHYyCiMgJEhlYWRlcjogJAoKREVTQ1JJUFRJT049IlBldHJpZnkg aXMgYSB0b29sIGZvciBzeW50aGVzaXMgb2YgUGV0cmkgbmV0cyBhbmQgYXN5bmNocm9ub3VzIGNv bnRyb2xsZXJzIgpIT01FUEFHRT0iaHR0cDovL3d3dy5sc2kudXBjLmVzL35qb3JkaWMvcGV0cmlm eS8iClNSQ19VUkk9Imh0dHA6Ly93d3cubHNpLnVwYy5lcy9+am9yZGljL3BldHJpZnkvZGlzdHJp Yi9wZXRyaWZ5LTQuMi1saW51eC50Z3oiCkxJQ0VOU0U9IkJTRCIKS0VZV09SRFM9Ing4NiIKUkVT VFJJQ1Q9Im5vc3RyaXAiClJERVBFTkQ9Im1lZGlhLWdmeC9ncmFwaHZpeiIKCnNyY19pbnN0YWxs ICgpIHsKCWNkICR7V09SS0RJUn0vcGV0cmlmeQoJZG9kaXIgL29wdC9wZXRyaWZ5CglleGVpbnRv IC9vcHQvcGV0cmlmeQoJZG9leGUgYmluL3BldHJpZnkKCWRvc3ltIC9vcHQvcGV0cmlmeS9wZXRy aWZ5IC9vcHQvcGV0cmlmeS9kcmF3X2FzdGcKCWRvc3ltIC9vcHQvcGV0cmlmeS9wZXRyaWZ5IC9v cHQvcGV0cmlmeS93cml0ZV9zZwoJZG9kb2MgZG9jLyoKCWRvbWFuIG1hbi9tYW4xLyoKCWNwIC1h IGxpYi9wZXRyaWZ5LmxpYiAke0R9L29wdC9wZXRyaWZ5Cglkb2RpciAvZXRjL2Vudi5kCgllY2hv ICJQQVRIPS9vcHQvcGV0cmlmeSIgPiAke0R9L2V0Yy9lbnYuZC8wMHBldHJpZnkKfQoKCgoK