Package: curry-libs-source
Architecture: all
Version: 3.0.0-2
Priority: optional
Section: universe/devel
Source: curry-libs
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 73
Breaks: pakcs (<< 2.2.0~)
Filename: pool/universe/c/curry-libs/curry-libs-source_3.0.0-2_all.deb
Size: 66856
MD5sum: 0a18b12fb3049e26bcdd26255f1d3088
SHA1: f60e17aa928ef98836ccb56980afab8df80298e5
SHA256: 1e3004ca3b876611d3b2ebc2cc8ba74189141c57bd83fb3e86c34cf5e865d040
SHA512: 2ddde20305df8a275cd579673eac2cae793fdef711ffff0b8ec1414e8bb930bb24e55934c776b57078fd153c3fdf1cc500bda2c70ef15d9f02a9f8a3e2214950
Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-libs
Description: Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)
Description-md5: 735b8e6e509b3c3123e5c6053e092d60