Ubuntu

libghc-djinn-ghc-dev binary package in Ubuntu Xenial powerpc

Xenial (16.04)
powerpc
libghc-djinn-ghc-dev

Djinn uses an theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is the bridge from djinn-lib to
GHC API.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2016-02-10 15:18:47 UTC	Published	Ubuntu Xenial powerpc	release	universe	haskell	Extra	0.0.2.3-4build2
Published on 2016-02-10 Copied from ubuntu xenial-proposed powerpc in Primary Archive for Ubuntu
		Deleted	Ubuntu Xenial powerpc	proposed	universe	haskell	Extra	0.0.2.3-4build2
Removal requested on 2016-02-10. Deleted on 2016-02-10 by Ubuntu Archive Robot moved to release Published on 2016-01-12
	2016-02-10 15:39:48 UTC	Superseded	Ubuntu Xenial powerpc	release	universe	haskell	Extra	0.0.2.3-4build1
Removed from disk on 2016-02-11. Removal requested on 2016-02-11. Superseded on 2016-02-10 by powerpc build of haskell-djinn-ghc 0.0.2.3-4build2 in ubuntu xenial PROPOSED Published on 2015-12-20 Copied from ubuntu xenial-proposed powerpc in Primary Archive for Ubuntu
	2016-02-11 18:10:10 UTC	Deleted	Ubuntu Xenial powerpc	proposed	universe	haskell	Extra	0.0.2.3-4build1
Removed from disk on 2016-02-11. Removal requested on 2015-12-20. Deleted on 2015-12-20 by Ubuntu Archive Robot moved to release Published on 2015-12-20
	2015-12-20 21:44:41 UTC	Superseded	Ubuntu Xenial powerpc	release	universe	haskell	Extra	0.0.2.3-4
Removed from disk on 2015-12-22. Removal requested on 2015-12-21. Superseded on 2015-12-20 by powerpc build of haskell-djinn-ghc 0.0.2.3-4build1 in ubuntu xenial PROPOSED Published on 2015-12-19 Copied from ubuntu xenial-proposed powerpc in Primary Archive for Ubuntu
	2015-12-22 00:10:11 UTC	Deleted	Ubuntu Xenial powerpc	proposed	universe	haskell	Extra	0.0.2.3-4
Removed from disk on 2015-12-22. Removal requested on 2015-12-19. Deleted on 2015-12-19 by Ubuntu Archive Robot moved to release Published on 2015-12-10
	2015-12-19 16:18:39 UTC	Superseded	Ubuntu Xenial powerpc	release	universe	haskell	Extra	0.0.2.3-2build3
Removed from disk on 2018-01-22. Removal requested on 2015-12-20. Superseded on 2015-12-19 by powerpc build of haskell-djinn-ghc 0.0.2.3-4 in ubuntu xenial PROPOSED Published on 2015-10-22 Copied from ubuntu wily-proposed powerpc in Primary Archive for Ubuntu

Source package

haskell-djinn-ghc package in Ubuntu