Artifact | gecode-flatzinc_6.2.0+git20240207-1_arm64 |
---|---|
Category | debian:binary-package |
architecture: arm64
component: main
package: gecode-flatzinc
priority: optional
section: devel
srcpkg_name: gecode-snapshot
srcpkg_version: 6.2.0+git20240207-1
version: 6.2.0+git20240207-1