gzip_sha512 177629d22a412da25f5d230b06a34a1545a33f75d94432e4b36a492bcd8dfc5b971711200af2231ec8c70e1e3d10c9eeb4ee1864cc2f2f4408b1c0b567b38aa5
package
filename
size
different function
elpa-fricas
./usr/share/man/man1/efricas.1.gz
740 B
fricas
./usr/share/man/man1/fricas.1.gz
740 B
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