skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / bullseye (oldstable) / Source / misc / curry-tools

[  buster  ] [  bullseye  ]

Links for curry-tools

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

Maintainers:

• Debian Curry Maintainers (QA Page, Mail Archive)
• Mike Gabriel (QA Page)
• Michael Hanus (QA Page)

External Resources:

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

The following binary packages are built from this source package:

curry-tools-source

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

Other Packages Related to curry-tools

build-depends

build-depends-indep

• adep: cdbs

  sistema di generazione comune per pacchetti Debian

• adep: debhelper (>= 10~)

  programmi ausiliari per debian/rules

• adep: tar (>= 1.28)

  La versione GNU del programma di archiviazione tar

Download curry-tools

File	Size (in kB)	MD5 checksum
curry-tools_3.3.0-2.dsc	2.0 kB	8d8087b1d4cec24df6cf8933c4078f9f
curry-tools_3.3.0.orig.tar.gz	582.3 kB	c4bf9d26e5ea833bc9b7bd4127f2bab8
curry-tools_3.3.0-2.debian.tar.xz	3.9 kB	bc2e8d9e4dbce421a96469de399b279d

Debian Package Source Repository (VCS: Git)

https://salsa.debian.org/pkg-curry-team/curry-tools.git

Debian Package Source Repository (Browsable)

https://salsa.debian.org/pkg-curry-team/curry-tools