Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “libaac-tactics-coq” in ubuntu eoan
Eoan (19.10)
libaac-tactics-coq
No summary available for libaac-tactics-coq in ubuntu eoan.
No description available for libaac-tactics-coq in ubuntu eoan.
Source package
aac-tactics 8.6.1-2 source package in Ubuntu
Published versions
libaac-tactics-coq 8.6.1-2 in amd64 (Release)
libaac-tactics-coq 8.6.1-2 in arm64 (Release)
libaac-tactics-coq 8.6.1-2 in armhf (Release)
libaac-tactics-coq 8.6.1-2 in i386 (Release)
libaac-tactics-coq 8.6.1-2 in ppc64el (Release)
libaac-tactics-coq 8.6.1-2 in s390x (Release)