sha512 bfe2eee963b663c32631c52b2164c9d4d6b6d3d9dea1e67946af6d645c9f788bfcbefdf33ca09eb70d5fe01088326d7b9c37f40e7eb1e650a38c0907a18a30b6
package
filename
size
different function
maxima-sage-share
./usr/share/maxima-sage/5.45.1/share/contrib/Zeilberger/zb_prover.mac
8.1 KB
maxima-share
./usr/share/maxima/5.49.0/share/contrib/Zeilberger/zb_prover.mac
8.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