Versions Packages Information History Related Badges Report

History for coq:aac-tactics

Please note that this history is still an experimental feature and may be reset at any time.

Also note that in addition to actual activity of software authors and repository maintainers, this history may contain artifacts produced by repology. For example, if two projects are merged it will look like one project has appeared in more repositories and another one removed from all repositories.

Enable autorefresh.

Date (UTC) Event
Newest version updated to 8.18.0 by nixpkgs unstable
Newest version updated to 8.17.0 by nixpkgs unstable
Project added to nixpkgs unstable
Project removed from nixpkgs unstable
Newest version updated to 8.16.0 by nixpkgs unstable
Newest version updated to 8.15.1 by nixpkgs unstable
Newest version updated to 8.13.2 by nixpkgs unstable
nixpkgs stable 21.05 has caught up with the newest version
Project added to nixpkgs stable 21.05
History start, latest version is 8.13.0, up to date in nixpkgs unstable