dev-lang/idris2 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2023-12-27
- dev-lang/idris2: bump to 0.7.0
  0f91c77
  Maciej Barć committed on 2023-12-27 01:20:42 UTC
  dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patchdev-lang/idris2/idris2-0.7.0.ebuilddev-lang/idris2/Manifest
Commits on 2023-10-04
- dev-lang/idris2: drop old 0.5.1_p20220920
  b999766
  Maciej Barć committed on 2023-10-04 08:11:18 UTC
  dev-lang/idris2/Manifestdev-lang/idris2/idris2-0.5.1_p20220920.ebuild
- dev-lang/idris2: drop old 0.5.1_p20220224-r1
  5730129
  Maciej Barć committed on 2023-10-04 08:11:18 UTC
  dev-lang/idris2/Manifestdev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
Commits on 2023-02-14
- Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
  061ce25
  Michał Górny committed on 2023-02-14 05:23:31 UTC
  dev-lang/idris2/idris2-0.6.0.ebuild
- Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
  15d76ea
  Michał Górny committed on 2023-02-14 05:18:51 UTC
  dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuilddev-lang/idris2/idris2-0.5.1_p20220920.ebuilddev-lang/idris2/idris2-0.6.0.ebuild
Commits on 2023-02-02
- dev-lang/idris2: H -> COMMIT
  fffb292
  Maciej Barć committed on 2023-02-02 17:46:45 UTC
  dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuilddev-lang/idris2/idris2-0.5.1_p20220920.ebuild
Commits on 2022-11-01
- dev-lang/idris2: drop old 0.5.1_p20220131-r1
  3987ee9
  Maciej Barć committed on 2022-11-01 02:38:07 UTC
  dev-lang/idris2/Manifestdev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuild
- dev-lang/idris2: bump to 0.6.0
  2d8d51f
  Maciej Barć committed on 2022-11-01 02:38:07 UTC
  dev-lang/idris2/idris2-0.6.0.ebuilddev-lang/idris2/Manifest
Commits on 2022-09-21
- dev-lang/idris2: drop old 0.5.1_p20211112-r1
  13fca1a
  Maciej Barć committed on 2022-09-21 01:32:05 UTC
  dev-lang/idris2/Manifestdev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuild
- dev-lang/idris2: bump to 0.5.1_p20220920
  3754321
  Maciej Barć committed on 2022-09-21 01:32:05 UTC
  dev-lang/idris2/idris2-0.5.1_p20220920.ebuilddev-lang/idris2/Manifest
Commits on 2022-05-05
- dev-lang/idris2: rebuild on chez/racket slot change
  c9773b9
  Maciej Barć committed on 2022-05-05 12:22:05 UTC
  dev-lang/idris2/idris2-0.5.1_p20211112-r1.ebuilddev-lang/idris2/idris2-0.5.1_p20220131-r1.ebuilddev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuilddev-lang/idris2/idris2-0.5.1_p20211112.ebuilddev-lang/idris2/idris2-0.5.1_p20220131.ebuilddev-lang/idris2/idris2-0.5.1_p20220224.ebuild
Commits on 2022-02-27
- dev-lang/idris2: bump to 0.5.1_p20220224 (2022.02.24 snapshot)
  54b9673
  Maciej Barć committed on 2022-02-27 00:12:20 UTC
  dev-lang/idris2/idris2-0.5.1_p20220224.ebuilddev-lang/idris2/Manifest
Commits on 2022-02-01
- dev-lang/idris2: bump to 0.5.1_p20220131
  50f782a
  Maciej Barć committed on 2022-02-01 03:46:50 UTC
  dev-lang/idris2/idris2-0.5.1_p20220131.ebuilddev-lang/idris2/Manifest
Commits on 2022-01-25
- **/metadata.xml: Replace http by https in DOCTYPE element
  2585fff
  Ulrich Müller committed on 2022-01-25 18:37:45 UTC
  dev-lang/idris2/metadata.xml
Commits on 2021-12-27
- dev-lang/idris2: minor metadata changes; add changelog
  bbaacd6
  Maciej Barć committed on 2021-12-27 15:59:33 UTC
  dev-lang/idris2/metadata.xml
Commits on 2021-11-27
- dev-lang/idris2: fix remote-id
  283170e
  Maciej Barć committed on 2021-11-27 21:59:17 UTC
  dev-lang/idris2/metadata.xml
- dev-lang/idris2: use dodoc instead of insinto
  793a720
  Maciej Barć committed on 2021-11-27 21:10:59 UTC
  dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
- dev-lang/idris2: new package; add version 0.5.1_p20211112
  54d5164
  Maciej Barć committed on 2021-11-27 20:02:02 UTC
  dev-lang/idris2/Manifestdev-lang/idris2/idris2-0.5.1_p20211112.ebuilddev-lang/idris2/metadata.xml