haskell-copilot-theorem (3.18.1-2) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]
- Branch: master
- Path: debian/changelog
- Repo size: 40407040
- Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem
- Last scan: 2024-05-01 11:14:52+00
- Next scan: 2024-05-08 05:22:00+00
- Debian changelog in Git:
haskell-copilot-theorem (3.18.1-2) unstable; urgency=medium * Add z3 as BD to fix tests -- Scott Talbert <swt@techie.net> Mon, 08 Jan 2024 22:35:41 -0500
- This branch is even with tag haskell-futhark_v0.25.15-2