Package: libclips-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 2280
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Javier Fernandez-Sanguino Pen~a <jfs@debian.org>
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