djinn_2014.9.7-9_amd64.deb


Advertisement

Description

djinn - generate Haskell expressions from types

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main amd64
Package name djinn
Package version 2014.9.7
Package release 9
Package architecture amd64
Package type deb
Installed size 2.37 KB
Download size 460.02 KB
Official Mirror ftp.br.debian.org
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.

Alternatives

Package Version Architecture Repository
djinn_2014.9.7-9_i386.deb 2014.9.7 i386 Debian Main
djinn - - -

Requires

Name Value
libatomic1 >= 4.8
libc6 >= 2.27
libffi6 >= 3.0.4
libgmp10 -
libtinfo6 >= 6

Download

Type URL
Binary Package djinn_2014.9.7-9_amd64.deb
Source Package djinn

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install djinn deb package:
    # sudo apt-get install djinn

Files

Path
/usr/bin/djinn
/usr/share/doc/djinn/buildinfo_amd64.gz
/usr/share/doc/djinn/changelog.Debian.gz
/usr/share/doc/djinn/copyright
/usr/share/lintian/overrides/djinn
/usr/share/man/man1/djinn.1.gz

Changelog

2018-10-04 - Ilias Tsitsimpis <iliastsi@debian.org>
djinn (2014.9.7-9) unstable; urgency=medium
* Patch to build with ghc-8.4
2018-10-01 - Ilias Tsitsimpis <iliastsi@debian.org>
djinn (2014.9.7-8) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
2018-04-09 - Clint Adams <clint@debian.org>
djinn (2014.9.7-7) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
2016-10-27 - Clint Adams <clint@debian.org>
djinn (2014.9.7-6) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
2016-10-13 - Clint Adams <clint@debian.org>
djinn (2014.9.7-5) experimental; urgency=medium
[ Dmitry Bogatov ]
* Use secure (https) uri in Vcs-Git field in 'debian/control'
* Bump standards version to 3.9.8 (no changes needed)
[ Clint Adams ]
* Temporarily build-depend on ghc 8.
2015-12-03 - Clint Adams <clint@debian.org>
djinn (2014.9.7-4) unstable; urgency=medium
* Switch Vcs-Git/Vcs-Browser headers to new location.
2015-09-29 - Sven Bartscher <sven.bartscher@weltraumschlangen.de>
djinn (2014.9.7-3) experimental; urgency=medium
[ Joachim Breitner ]
* Add Uploaders field, which I accidentally dropped
2015-08-20 - Joachim Breitner <nomeata@debian.org>
djinn (2014.9.7-2) experimental; urgency=medium
* Add lintian override for spurious rpaths
2015-08-20 - Joachim Breitner <nomeata@debian.org>
djinn (2014.9.7-1) experimental; urgency=medium
* New upstream release
* Bump standards-version to 3.9.6
* Depend on haskell-devscripts >= 0.10 to ensure that this package
builds against GHC in experimental
2015-04-27 - Joachim Breitner <nomeata@debian.org>
djinn (2011.7.23-3) unstable; urgency=medium
* Upload to unstable

See Also

Package Description
djtools_1.2.7+b2_amd64.deb tools for HP DeskJet printer
djview-plugin_4.11-1_amd64.deb Browser plugin for the DjVu image format
djview3_3.5.27.1-10_all.deb Transition package, djview3 to djview4
djview4_4.11-1_amd64.deb Viewer for the DjVu image format
djview_3.5.27.1-10_all.deb Transition package, djview3 to djview4
djvubind_1.2.1-5_all.deb simple creation of djvu files
djvulibre-bin_3.5.27.1-10_amd64.deb Utilities for the DjVu image format
djvulibre-desktop_3.5.27.1-10_all.deb Desktop support for the DjVu image format
djvulibre-plugin_4.11-1_all.deb Transition package, djvulibre-plugin to djview-plugin
djvuserve_3.5.27.1-10_amd64.deb CGI program for unbundling DjVu files on the fly
djvusmooth_0.2.19-3_all.deb graphical editor for DjVu
dkim-milter-python_0.9-2_all.deb Domain Keys Identified Mail Milter for Sendmail and Postfix
dkimproxy_1.4.1-3_all.deb an SMTP-proxy that signs and/or verifies emails, using the Mail::DKIM module
dkimpy-milter_1.0.1-1_all.deb DomainKeys Identified Mail (DKIM) milter in Python
dkms_2.6.1-4_all.deb Dynamic Kernel Module Support Framework
Advertisement
Advertisement