Sha256: 2b38f349bf1b315e365c27917b39726e57863bb63d1b6695cfb53aa84b4e8d2c

Contents?: true

Size: 34 Bytes

Versions: 11

Compression:

Stored size: 34 Bytes

Contents

usr/lib/gecode
usr/include/gecode

Version data entries

11 entries across 11 versions & 1 rubygems

Version Path
gecoder-with-gecode-1.1.1.1 ext/gecode-2.2.0/misc/debian/gecode.install
gecoder-with-gecode-1.1.1 ext/gecode-2.2.0/misc/debian/gecode.install
gecoder-with-gecode-1.1.0 ext/gecode-2.2.0/misc/debian/gecode.install
gecoder-with-gecode-0.7.1 ext/gecode-1.3.1/misc/debian/gecode.install
gecoder-with-gecode-0.8.0 ext/gecode-2.1.1/misc/debian/gecode.install
gecoder-with-gecode-0.8.1 ext/gecode-2.1.1/misc/debian/gecode.install
gecoder-with-gecode-0.8.2 ext/gecode-2.1.1/misc/debian/gecode.install
gecoder-with-gecode-0.8.3 ext/gecode-2.1.1/misc/debian/gecode.install
gecoder-with-gecode-0.9.0 ext/gecode-2.1.1/misc/debian/gecode.install
gecoder-with-gecode-0.9.1 ext/gecode-2.2.0/misc/debian/gecode.install
gecoder-with-gecode-1.0.0 ext/gecode-2.2.0/misc/debian/gecode.install