Review: btor2tools 1.0.2~git20250507.fb69ee3-1
Package Information
| Maintainer | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
|---|---|
| Changed By | Andreas Tille <tille@debian.org> |
| Distribution | unstable |
| Architecture | source amd64 |
| VCS | Git: https://salsa.debian.org/science-team/btor2tools.git (browse) |
| Closes | #1111868 |
| Uploaded | 1 year, 1 month, 1 day ago |
Review Information
accepted — allocated to awm 7 months, 24 days ago, started 7 months, 24 days ago, completed 7 months, 24 days ago.