Ubuntu

libbdd0c2 binary package in Ubuntu Trusty powerpc

Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking. This is the runtime package for programs that use the
BuDDy library.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2014-03-25 21:13:14 UTC	Published	Ubuntu Trusty powerpc	release	universe	libs	Optional		2.4-9ubuntu1
Published on 2014-03-25 Copied from ubuntu trusty-proposed powerpc in Primary Archive for Ubuntu
		Deleted	Ubuntu Trusty powerpc	proposed	universe	libs	Optional		2.4-9ubuntu1
Removal requested on 2014-03-25. Deleted on 2014-03-25 by Ubuntu Archive Robot moved to release Published on 2014-03-25
	2014-03-25 21:13:18 UTC	Superseded	Ubuntu Trusty powerpc	release	universe	libs	Optional		2.4-8ubuntu1
Removed from disk on 2014-03-27. Removal requested on 2014-03-26. Superseded on 2014-03-25 by powerpc build of buddy 2.4-9ubuntu1 in ubuntu trusty PROPOSED Published on 2013-12-24 Copied from ubuntu trusty-proposed powerpc in Primary Archive for Ubuntu
	2014-03-27 00:10:10 UTC	Deleted	Ubuntu Trusty powerpc	proposed	universe	libs	Optional		2.4-8ubuntu1
Removed from disk on 2014-03-27. Removal requested on 2013-12-24. Deleted on 2013-12-24 by Ubuntu Archive Robot moved to release Published on 2013-12-24
	2013-12-24 23:28:29 UTC	Superseded	Ubuntu Trusty powerpc	release	universe	libs	Optional		2.4-8
Removal requested on 2013-12-25. Superseded on 2013-12-24 by powerpc build of buddy 2.4-8ubuntu1 in ubuntu trusty PROPOSED Published on 2013-10-18 Copied from ubuntu oneiric-release powerpc in Primary Archive for Ubuntu

Source package

buddy package in Ubuntu