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