Package: libclips-dev Priority: optional Section: universe/libdevel Installed-Size: 2764 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Javier Fernandez-Sanguino Pen~a <jfs@debian.org> Architecture: amd64 Source: clips Version: 6.24-3ubuntu1 Depends: libclips (= 6.24-3ubuntu1), libc6-dev Recommends: clips-doc Filename: pool/universe/c/clips/libclips-dev_6.24-3ubuntu1_amd64.deb Size: 629994 MD5sum: b72446baacabed0cef7826f54485bb9f SHA1: 2da9bf36c96032635d784502db9675817d04eb88 SHA256: 0aced9cc9608ff99a8476be68c52eecd5f1e2f950a177878bd7939b74761dcf9 Description: CLIPS shared libraries Homepage: http://clipsrules.sourceforge.net Description-md5: 44cb77333ca3576bebe19aadf63154e5 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu