libcoq-aac-tactics binary package in Ubuntu Lunar arm64
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
.
This package provides the Coq support library.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-02-28 16:14:28 UTC | Published | Ubuntu Lunar arm64 | release | universe | math | Optional | 8.17.0-1build2 | ||
|
|||||||||
Deleted | Ubuntu Lunar arm64 | proposed | universe | math | Optional | 8.17.0-1build2 | |||
|
|||||||||
2023-02-28 16:15:30 UTC | Superseded | Ubuntu Lunar arm64 | release | universe | math | Optional | 8.17.0-1build1 | ||
|
|||||||||
2023-03-01 18:10:11 UTC | Deleted | Ubuntu Lunar arm64 | proposed | universe | math | Optional | 8.17.0-1build1 | ||
|
|||||||||
2023-01-30 01:15:49 UTC | Superseded | Ubuntu Lunar arm64 | release | universe | math | Optional | 8.17.0-1 | ||
|
|||||||||
2023-01-31 06:10:11 UTC | Deleted | Ubuntu Lunar arm64 | proposed | universe | math | Optional | 8.17.0-1 | ||
|
|||||||||
2023-01-19 02:09:21 UTC | Superseded | Ubuntu Lunar arm64 | release | universe | math | Optional | 8.16.0-1build3 | ||
|
|||||||||
2023-01-20 06:10:11 UTC | Deleted | Ubuntu Lunar arm64 | proposed | universe | math | Optional | 8.16.0-1build3 | ||
|
|||||||||
2022-12-03 09:59:51 UTC | Superseded | Ubuntu Lunar arm64 | proposed | universe | math | Optional | 8.16.0-1build2 | ||
|
|||||||||
2022-11-25 19:24:50 UTC | Superseded | Ubuntu Lunar arm64 | proposed | universe | math | Optional | 8.16.0-1build1 | ||
|
|||||||||
2022-11-25 11:14:09 UTC | Superseded | Ubuntu Lunar arm64 | proposed | universe | math | Optional | 8.16.0-1 | ||
|
|||||||||
2022-12-07 03:20:53 UTC | Superseded | Ubuntu Lunar arm64 | release | universe | math | Optional | 8.15.1-6 | ||
|