sha512 74c49a98e332e744a726f3c369ae963b6352f513b74627c9857354723568f5e68a2fd844fcaf7764e784e56f695e55081c158c68b9eaff124c460b3ecab3367e
package
filename
size
different function
boolector
./usr/lib/cmake/Boolector/BoolectorConfigVersion.cmake
2.7 KB
libsuitesparse-dev
./usr/lib/x86_64-linux-gnu/cmake/SPEX/SPEXConfigVersion.cmake
2.7 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