mathcomp-algebra-tactics_1.2.3-4

Details

Artifact	mathcomp-algebra-tactics_1.2.3-4
Category	debian:source-package

Metadata

component: main
package: mathcomp-algebra-tactics
section: misc
version: 1.2.3-4