sha512 5d1cc3ea0b72e57d76b0d680cb1923aeb0fda009abfdb470c4223b6c9072b5899ceeaf56f8fecd8c959b9bbd4f603267c9450f2304683b4486c2bf3c911f618a
package
filename
size
different function
libscip-dev
./usr/share/doc/libscip-dev/copyright
6.4 KB
libscip10.0
./usr/share/doc/libscip10.0/copyright
6.4 KB
scip
./usr/share/doc/scip/copyright
6.4 KB
scip-doc
./usr/share/doc/scip-doc/copyright
6.4 KB
Details about this service
More information:
see wiki
Maintainer: Helmut Grohne <helmut@subdivi.de>
Source: git://git.subdivi.de/~helmut/debian-dedup.git
Bugs reports / Feedback / Patches: to the maintainer