Versions Packages Information History Related Badges Report

History for agda

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
Ubuntu 20.04 Proposed has caught up with the newest version in 8 months
Project added to Ubuntu 20.04 Proposed
GNU Guix has caught up with the newest version in 7 months
Parrot has caught up with the newest version in 5 months
PureOS landing has caught up with the newest version in 5 months
Kali Linux Rolling has caught up with the newest version in 5 months
Raspbian Testing has caught up with the newest version in 5 months
Debian Testing has caught up with the newest version in 5 months
Project added to GNU Guix
Ubuntu 20.04 has caught up with the newest version in 5 months
Project added to Ubuntu 20.04
Project added to Funtoo 1.4
Fedora Rawhide has caught up with the newest version in 4 months
Fedora Rawhide has caught up with the newest version in 4 months
Fedora Rawhide has caught up with the newest version in 4 months
Fedora Rawhide has caught up with the newest version in 4 months
Fedora Rawhide has caught up with the newest version in 4 months
Project added to PureOS Amber
Fedora 31 has caught up with the newest version in 4 months
Project added to Fedora 31
Ubuntu 19.10 has caught up with the newest version in 3 months
Project removed from Ubuntu 19.10 Proposed
Ubuntu 19.10 Proposed has caught up with the newest version in 3 months
Debian Unstable, Devuan Unstable have caught up with the newest version in 3 months
Fedora Rawhide has caught up with the newest version in 3 months
Project added to Ubuntu 19.10 Proposed
DPorts has caught up with the newest version in 46 days
Project added to DPorts
Linuxbrew has caught up with the newest version in 42 days
Homebrew has caught up with the newest version in 37 days
FreeBSD Ports has caught up with the newest version in 29 days
Manjaro Stable has caught up with the newest version in 28 days
Project added to Devuan 1.0 (Jessie), Devuan 2.0 (ASCII), Devuan 3.0 (Beowulf)
Parabola has caught up with the newest version in 17 days
Manjaro Testing has caught up with the newest version in 17 days
Manjaro Unstable has caught up with the newest version in 16 days
Arch has caught up with the newest version in 16 days
Hackage has caught up with the newest version in 3 days
Newest version updated to 2.6.0.1 by Wikidata, in 32 days since the last update
Linuxbrew has caught up with the newest version in 26 days
Homebrew has caught up with the newest version in 24 days
Project removed from Arch Testing
Project added to Fedora 30
Project added to Arch Testing
Project added to Ubuntu 19.10
Wikidata has caught up with the newest version in 12 hours
Newest version updated to 2.6.0 by Hackage, in 5 months since the last update
GNU Guix has caught up with the newest version in 4 months
Project removed from Arch Testing
Fedora Rawhide has caught up with the newest version in 4 months
Project added to Arch Testing
Project removed from DPorts
Project added to Funtoo 1.3
FreeBSD Ports has caught up with the newest version in 2 months
Project removed from Stackage LTS Haskell
Project removed from Ubuntu 19.04 Proposed
Project added to Ubuntu 19.04 Proposed
Hackage, Stackage LTS Haskell have caught up with the newest version in 36 days
Project added to DPorts, EPEL 6, FreeBSD Ports, Hackage, nixpkgs stable, nixpkgs unstable, Stackage LTS Haskell
Project added to Kali Linux Rolling
Project added to Debian Testing, Devuan Testing
Project removed from Kali Linux Rolling
Project removed from Devuan Testing
Project added to Devuan Testing
Project removed from Devuan Testing
Project removed from Debian Testing
Linuxbrew has caught up with the newest version in 15 days
Project added to AUR
Project removed from AUR
Project added to Ubuntu 19.04
Project added to Fedora 29
Homebrew has caught up with the newest version in a day
Newest version updated to 2.5.4.2 by Wikidata, in 3 months since the last update
Project removed from Arch Testing
Project added to Arch Testing
GNU Guix has caught up with the newest version in 2 months
Debian Unstable, Devuan Unstable have caught up with the newest version in 2 months
Parabola has caught up with the newest version in 52 days
Arch, Manjaro Stable, Manjaro Testing, Manjaro Unstable have caught up with the newest version in 51 days
Linuxbrew has caught up with the newest version in 8 days
Homebrew has caught up with the newest version in 8 hours
Newest version updated to 2.5.4.1 by Wikidata, in 46 days since the last update
Wikidata has caught up with the newest version in 44 days
Project removed from Ubuntu 18.10 Proposed
Project added to Ubuntu 18.10 Proposed
Project removed from Ubuntu 18.10 Proposed
Project added to AUR
Project added to Ubuntu 18.10 Proposed
Parabola has caught up with the newest version in 8 days
Manjaro Stable has caught up with the newest version in 4 days
Project removed from nixpkgs stable, nixpkgs unstable
Homebrew, Linuxbrew have caught up with the newest version in a day
Manjaro Testing, Manjaro Unstable have caught up with the newest version in 22 hours
Arch has caught up with the newest version in 18 hours
Project removed from Arch Testing
Newest version updated to 2.5.4 by Arch Testing
Project added to Arch Testing
Project removed from Arch Testing
nixpkgs stable, nixpkgs unstable have caught up with the newest version
Project added to nixpkgs stable, nixpkgs unstable
Project added to Arch Testing
Project removed from openSUSE Tumbleweed
History start, latest version is 2.5.3, up to date in Arch, Debian Testing, Debian Unstable, Devuan Unstable, Fedora 28, Fedora Rawhide, GNU Guix, Homebrew, Kali Linux Rolling, Linuxbrew, Manjaro Stable, Manjaro Testing, Manjaro Unstable, Parabola, Parrot, PureOS green, PureOS landing, Raspbian Testing, Ubuntu 18.04, Wikidata, also present in Debian Oldstable, Debian Stable, Deepin, Devuan Stable, Devuan Testing, EPEL 7, Fedora 26, Fedora 27, Funtoo, Gentoo, Hyperbola, openSUSE Leap 15.0, openSUSE Tumbleweed, Pardus, Raspbian Oldstable, Raspbian Stable, Trisquel 6.0, Trisquel 7.0, Trisquel 8.0, Ubuntu 12.04, Ubuntu 14.04, Ubuntu 16.04, Ubuntu 17.10