agda-mode_2.5.4.1-3_all.deb


Advertisement

Description

agda-mode - transitional dummy package for elpa-agda2-mode

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename agda-mode_2.5.4.1-3_all.deb
Package name agda-mode
Package version 2.5.4.1
Package release 3
Package architecture all
Package type deb
Category misc
Homepage http://wiki.portal.chalmers.se/agda/
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 114.92 KB
Installed size 122.00 KB
agda-mode has been ELPAfied.  See the elpa-agda2-mode package.  This
transitional package is safe to remove.

Alternatives

Package Version Architecture Repository
agda-mode_2.5.4.1-3_all.deb 2.5.4.1 all Debian Main
agda-mode - - -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package agda-mode_2.5.4.1-3_all.deb
Source Package agda

Install Howto

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

Files

Path
/usr/share/doc/agda-mode/buildinfo_all.gz
/usr/share/doc/agda-mode/changelog.Debian.gz
/usr/share/doc/agda-mode/changelog.gz
/usr/share/doc/agda-mode/copyright

Changelog

2018-10-20 - Ilias Tsitsimpis <iliastsi@debian.org>
agda (2.5.4.1-3) unstable; urgency=medium
* Remove build dependency on non-existing libghc-edisoncore-dev.
The correct package is libghc-edison-core-dev.
* Remove build dependency on *-prof packages.
No profiling package is being built.
2018-10-01 - Ilias Tsitsimpis <iliastsi@debian.org>
agda (2.5.4.1-2) unstable; urgency=medium
* Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
* Remove build dependency on libghc-text-dev (provided by ghc-8.4.3)
* Remove build dependency on libghc-stm-dev (provided by ghc-8.4.3)
2018-09-30 - Ilias Tsitsimpis <iliastsi@debian.org>
agda (2.5.4.1-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* New upstream release
2018-04-29 - Clint Adams <clint@debian.org>
agda (2.5.3-5) unstable; urgency=medium
* Patch for newer EdisonCore.
2018-04-09 - Clint Adams <clint@debian.org>
agda (2.5.3-4) 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.
* Delete the Uploaders field.
2017-10-13 - Joachim Breitner <nomeata@debian.org>
agda (2.5.3-3) unstable; urgency=medium
* Search for .agda-lib files in /var/lib/agda
So that agda -l standard-library works out of te box
2017-10-13 - Joachim Breitner <nomeata@debian.org>
agda (2.5.3-2) unstable; urgency=medium
* Typo in build-depends
2017-09-16 - Sean Whitton <spwhitton@spwhitton.name>
agda (2.5.3-1) unstable; urgency=medium
* New upstream release
* Drop bump-ieee754-bounds.patch
Merged upstream.
2017-07-10 - Gianfranco Costamagna <locutusofborg@debian.org>
agda (2.5.2-2) unstable; urgency=medium
* Team upload.
* Bump ieee754 bounds.
2017-07-06 - Gianfranco Costamagna <locutusofborg@debian.org>
agda (2.5.2-1) unstable; urgency=medium
* New upstream release
* Team upload
* Drop all patches, upstream
* Bump std-version to 4.0.0
* Bump compat level to 10
* Update build dependencies

See Also

Package Description
agda-stdlib-doc_0.17-1_all.deb standard library for Agda — documentation
agda-stdlib_0.17-1_all.deb standard library for Agda
agda_2.5.4.1-3_all.deb dependently typed functional programming language
agedu_9723-1+b1_i386.deb Unix utility for tracking down wasted disk space
agenda.app_0.44-2+b1_i386.deb Calendar manager for GNUstep
agent-transfer_0.43-3_i386.deb copy a secret key from GnuPG's gpg-agent to OpenSSH's ssh-agent
aggregate_1.6-7+b1_i386.deb ipv4 cidr prefix aggregator
aghermann_1.1.2-2_i386.deb Sleep-research experiment manager
aglfn_1.7-3_all.deb Adobe Glyph List For New Fonts
agtl_0.8.0.3-1.1_all.deb Tool for paperless geocaching
aha_0.5-1_i386.deb ANSI color to HTML converter
ahcpd_0.53-2+b1_i386.deb Ad-Hoc Configuration Protocol
aho-corasick_0.6.9-1_i386.deb Fast multiple substring searching with finite state machines
aide-common_0.16.1-1_all.deb Advanced Intrusion Detection Environment - Common files
aide-dynamic_0.16.1-1_i386.deb Advanced Intrusion Detection Environment - dynamic binary
Advertisement
Advertisement