| Artifact | libcoq-relation-algebra_1.7.10-4+b5_arm64 |
|---|---|
| Category | debian:binary-package |
architecture: arm64
component: main
package: libcoq-relation-algebra
priority: optional
section: ocaml
srcpkg_name: coq-relation-algebra
srcpkg_version: 1.7.10-4
version: 1.7.10-4+b5