| Artifact | libghc-copilot-theorem-prof_3.13-1_amd64 |
|---|---|
| Category | debian:binary-package |
architecture: amd64
component: main
package: libghc-copilot-theorem-prof
priority: optional
section: haskell
srcpkg_name: haskell-copilot-theorem
srcpkg_version: 3.13-1
version: 3.13-1