pkgsrc.se | The NetBSD package collection

Back
Package history:
Update frequency

(2024-05-09) Package updated to version: idris-1.3.4nb10
(2024-05-09) Some files were modified
(2024-05-03) Some files were modified
(2024-05-02) Some files were modified
(2023-11-02) Package updated to version: idris-1.3.4nb9
(2023-11-02) Some files were modified
(2023-10-30) Some files were modified
(2023-10-09) Some files were modified
(2023-10-09) Package updated to version: idris-1.3.4nb8
(2023-02-09) Package updated to version: idris-1.3.4nb7
(2023-02-09) Some files were modified
(2023-01-27) Some files were modified
(2022-09-07) Package updated to version: idris-1.3.4nb6
(2022-09-07) Some files were modified
(2022-08-29) Some files were modified
(2022-08-20) Package updated to version: idris-1.3.4nb5
(2022-08-20) Some files were modified
(2022-02-26) Package updated to version: idris-1.3.4nb4
(2022-02-26) Some files were modified
(2022-02-26) Some files were modified
(2022-02-26) Package updated to version: idris-1.3.4nb3
(2022-02-26) Package updated to version: idris-1.3.4nb2
(2022-02-26) Some files were modified
(2022-02-12) Package updated to version: idris-1.3.4nb1
(2022-02-12) Some files were modified
(2022-02-12) Package updated to version: idris-1.3.4
(2022-02-12) Some files were modified
(2022-01-18) Package updated to version: idris-1.3.3nb3
(2022-01-18) Some files were modified
(2021-12-08) Some files were modified
(2021-12-08) Package updated to version: idris-1.3.3nb2
(2021-12-01) Some files were modified
(2021-10-26) Some files were modified
(2021-10-07) Some files were modified
(2021-05-03) Package updated to version: idris-1.3.3nb1
(2021-05-03) Some files were modified
(2021-04-25) Package updated to version: idris-1.3.3
(2021-04-25) Some files were modified
(2020-10-13) Package updated to version: idris-1.3.2nb2
(2020-10-13) Some files were modified
(2020-03-08) Package updated to version: idris-1.3.2nb1
(2020-03-08) Some files were modified
(2020-01-21) Package added to pkgsrc, version 1.3.2 (idris-1.3.2) (created)