/ubuntu-archive/ubuntu/pool/universe/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.8.0-2build1_arm64.deb11.1 MiB2026-Mar-01 22:52
libghc-agda-dev_2.8.0-2build1_arm64.deb41.5 MiB2026-Mar-01 22:52
agda-bin_2.8.0-2build1_amd64v3.deb10.5 MiB2026-Mar-01 22:51
libghc-agda-dev_2.8.0-2build1_amd64v3.deb37.4 MiB2026-Mar-01 22:51
agda_2.8.0-2build1_all.deb2.8 KiB2026-Mar-01 22:50
agda-bin_2.8.0-2build1_amd64.deb10.5 MiB2026-Mar-01 22:50
elpa-agda2-mode_2.8.0-2build1_all.deb46.6 KiB2026-Mar-01 22:50
libghc-agda-dev_2.8.0-2build1_amd64.deb37.4 MiB2026-Mar-01 22:50
libghc-agda-doc_2.8.0-2build1_all.deb6.5 MiB2026-Mar-01 22:50
agda-bin_2.6.4.3-1_arm64.deb10.6 MiB2024-Oct-26 00:15
libghc-agda-dev_2.6.4.3-1_arm64.deb26.0 MiB2024-Oct-26 00:15
agda-bin_2.6.4.3-1_amd64.deb10.1 MiB2024-Oct-26 00:15
libghc-agda-doc_2.6.4.3-1_all.deb6.4 MiB2024-Oct-26 00:15
libghc-agda-dev_2.6.4.3-1_amd64.deb23.0 MiB2024-Oct-26 00:15
agda_2.6.4.3-1_all.deb3.6 KiB2024-Oct-26 00:15
elpa-agda2-mode_2.6.4.3-1_all.deb45.2 KiB2024-Oct-26 00:15
agda-bin_2.6.3-1build1_amd64.deb10.5 MiB2023-Nov-10 23:19
agda_2.6.3-1build1_all.deb3.7 KiB2023-Nov-10 23:19
libghc-agda-dev_2.6.3-1build1_amd64.deb24.3 MiB2023-Nov-10 23:19
elpa-agda2-mode_2.6.3-1build1_all.deb45.2 KiB2023-Nov-10 23:19
libghc-agda-doc_2.6.3-1build1_all.deb6.0 MiB2023-Nov-10 23:19