Versions Packages Information History Related Badges Report

History for emacs:agda-mode

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 2.6.2.2 by nixpkgs unstable
Project added to nixpkgs unstable
Newest version updated to 2.6.2 by nixpkgs stable 21.11
Project removed from nixpkgs unstable
Newest version updated to 2.6.2.2 by nixpkgs unstable
Newest version updated to 2.6.2.1 by nixpkgs unstable
Newest version updated to 2.6.2 by nixpkgs stable 21.11
Newest version updated to 2.6.2.1 by nixpkgs unstable
History start, latest version is 2.6.2, up to date in nixpkgs unstable