sha512 645b8abd09a79e0a671985bb1124d10817761650fa20fd5e63e68b1fe30054f06353cf4327cbbd33ec1debeb6b07904c474052fbeb6b2442f29f0c8764b6af59
package
filename
size
different function
libflint-dev
./usr/share/doc/libflint-dev/copyright
9.1 KB
libflint24
./usr/share/doc/libflint24/copyright
9.1 KB
libflint-doc
./usr/share/doc/libflint-doc/copyright
9.1 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