Ubuntu
agda-bin package

agda-bin 2.2.10-2 source package in Ubuntu

Changelog

agda-bin (2.2.10-2) unstable; urgency=low

  * [5e289d4] Fix forgotten libghc6 recommend

agda-bin (2.2.10-1) unstable; urgency=low

  * [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp
  * [62091f5] Imported Upstream version 2.2.10
  * [6beab2e] Bump Agda BDs per Agda.cabal
  * [6c3faaa] Update short descriptions to reflect best practice
  * [b0badb1] d/copyright: Update copyright years
  * [53d7b08] Update to use new ghc package names
  * [84dea7d] Standards-Version bump to 3.9.2, no changes required
  * [50738d0] Use ghc build targets and install locations instead of ghc6
 -- Colin Watson <email address hidden>   Fri,  10 Jun 2011 10:40:41 +0000

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Oneiric
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda-bin_2.2.10.orig.tar.gz 1.7 KiB c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a
agda-bin_2.2.10-2.diff.gz 2.8 KiB 34dc8c8873a178380fb9a724f446a17b6bb0d72a7381fee91fc6419fb02c0681
agda-bin_2.2.10-2.dsc 1.9 KiB ef34774419ab6302b0461088217e559ca0d2f342d0a9f256f20f2abbda0d6775

Available diffs

View changes file

Binary packages built by this source

agda-bin: commandline interface to Agda

 Agda is a dependently typed functional programming language: It has inductive
 families, which are like Haskell's GADTs, but they can be indexed by values and
 not just types. It also has parameterised modules, mixfix operators, Unicode
 characters, and an interactive Emacs interface (the type checker can assist in
 the development of your code).
 .
 Agda is also a proof assistant: It is an interactive system for writing and
 checking proofs. Agda is based on intuitionistic type theory, a foundational
 system for constructive mathematics developed by the Swedish logician Per
 Martin-Löf. It has many similarities with other proof assistants based on
 dependent types, such as Coq, Epigram and NuPRL.
 .
 This package provides a command-line program for type-checking and
 compiling Agda programs. The program can also generate hyperlinked,
 highlighted HTML files from Agda sources.