[  etiona  ] [  nabia  ] [  aramo  ]

Verwijzigingen voor curry-tools

Trisquel bronnen:

• Probleemrapporten
• Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Debian Curry Maintainers (Mailarchief)

Original Maintainers:

• Debian Curry Maintainers (Mailarchief)
• Mike Gabriel
• Michael Hanus

Externe bronnen:

• Homepage [git.ps.informatik.uni-kiel.de]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

curry-tools-source

Tools that are used by different Curry systems, like PAKCS or KiCS2

Andere aan curry-tools gerelateerde pakketten

build-depends

build-depends-indep

• adep: cdbs

  common build system for Debian packages

• adep: debhelper (>= 10~)

  helper programs for debian/rules

• adep: tar (>= 1.28)

  GNU version of the tar archiving utility

Download curry-tools

Bestand	Grootte (in kB)	MD5 checksum
curry-tools_2.0.1-1.dsc	2,0 kB	76c6edd7665f9bbfc8f787293e64c638
curry-tools_2.0.1.orig.tar.gz	415,1 kB	9c9e59a605677ca6751e40c4c0c580e8
curry-tools_2.0.1-1.debian.tar.xz	3,4 kB	01f3f6458bc51f146ccbfb62180ef7fd

Debian Package Source Repository (VCS: Git)

https://anonscm.debian.org/git/pkg-curry/curry-tools.git

Debian Package Source Repository (Browsable)

https://anonscm.debian.org/git/pkg-curry/curry-tools.git