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 | 11 months, 16 days ago |
Review Information
accepted — allocated to awm 6 months, 9 days ago, started 6 months, 9 days ago, completed 6 months, 9 days ago.