Vanilla OS Packages

search

Ctrl K

storage

Package Details

Information about "libghc-agda-dev"

label

Name

libghc-agda-dev

description

Description

dependently typed functional programming language

update

Version

2.6.4.3-1+b2

database

Architecture

amd64

category

Section

haskell

home

Homepage

https://wiki.portal.chalmers.se/agda/

person

Maintainer

Debian Haskell Group <[email protected]>

folder_zip

Filename

pool/main/a/agda/libghc-agda-dev_2.6.4.3-1+b2_amd64.deb

Depends Packages
libc6
libgmp10
libtinfo6
zlib1g

Recommends Packages
No items found.

Suggests Packages
No items found.

Conflicts Packages
No items found.

Replaces Packages
No items found.

Provides Packages
No items found.