Package: libclips-dev Priority: optional Section: universe/libdevel Installed-Size: 2280 Maintainer: Ubuntu Developers Original-Maintainer: Javier Fernandez-Sanguino Pen~a Architecture: i386 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_i386.deb Size: 573936 MD5sum: a5f88ed0487fa2c2e3a1a48217f9e7de SHA1: fd99b41be37aed332a685bacafcb40aef7d59bac SHA256: b6bbe11cebc577a4dc2d506174c3cc2ff5f1206124fcd2b2e02eab4778831d26 Description: CLIPS shared libraries Homepage: http://clipsrules.sourceforge.net Description-md5: 44cb77333ca3576bebe19aadf63154e5 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu