» Ubuntu » Pakketten » precise (12.04LTS) » haskell » agda-bin
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ Bron: agda-bin  ]

Pakket: agda-bin ( [universe]

Verwijzigingen voor agda-bin


Ubuntu bronnen:

Het bronpakket agda-bin downloaden:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Externe bronnen:

Vergelijkbare pakketten:

commandline interface to Agda

Andere aan agda-bin gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.15)
    Embedded GNU C Library: Shared libraries
    Ook een virtueel pakket geboden door: libc6-udeb
  • dep: libffi6 (>= 3.0.4)
    Foreign Function Interface library runtime
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libtinfo5
    shared low-level terminfo library for terminal handling
  • dep: zlib1g (>= 1:1.1.4)
    compression library - runtime
  • sug: agda-mode
    dependently typed functional programming language — emacs mode

agda-bin downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 4.774,1 kB25.982,0 kB [overzicht]
i386 4.460,4 kB18.366,0 kB [overzicht]