djinn 2014.9.7-9build3 source package in Ubuntu
Changelog
djinn (2014.9.7-9build3) focal; urgency=medium * No-change rebuild with fixed binutils on arm64. -- Matthias Klose <email address hidden> Sat, 08 Feb 2020 10:57:56 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Focal
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Focal | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| djinn_2014.9.7.orig.tar.gz | 21.7 KiB | 4ff8346fb9e93055b93db16a283312ee8bda122db8e54520c299da81d6df2ddd |
| djinn_2014.9.7-9build3.debian.tar.xz | 3.5 KiB | 19c9121485732a4f416024b7f81703e2ed6040a4dc266ef1fd98a2b4b6cc692e |
| djinn_2014.9.7-9build3.dsc | 2.0 KiB | 0f4efd6d19bad80a161ded5e7a8c356b8409eb6ea6875c793a5df14c9ec6b093 |
Available diffs
- diff from 2014.9.7-9build2 to 2014.9.7-9build3 (319 bytes)
Binary packages built by this source
- djinn: generate Haskell expressions from types
Djinn uses a theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type.
.
Given a type the program will deduce an expression of this type, if one
exists. If the Djinn says the type is not realizable it is because there
is no (total) expression of the given type.
