Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/idris2
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/idris2: drop old 0.5.1_p20220920Maciej Barć2023-10-042-106/+0
* dev-lang/idris2: drop old 0.5.1_p20220224-r1Maciej Barć2023-10-042-106/+0
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-141-1/+1
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-143-3/+3
* dev-lang/idris2: H -> COMMITMaciej Barć2023-02-022-8/+8
* dev-lang/idris2: drop old 0.5.1_p20220131-r1Maciej Barć2022-11-012-105/+0
* dev-lang/idris2: bump to 0.6.0Maciej Barć2022-11-012-0/+105
* dev-lang/idris2: drop old 0.5.1_p20211112-r1Maciej Barć2022-09-212-106/+0
* dev-lang/idris2: bump to 0.5.1_p20220920Maciej Barć2022-09-212-0/+106
* dev-lang/idris2: rebuild on chez/racket slot changeMaciej Barć2022-05-053-7/+7
* dev-lang/idris2: bump to 0.5.1_p20220224 (2022.02.24 snapshot)Maciej Barć2022-02-272-0/+106
* dev-lang/idris2: bump to 0.5.1_p20220131Maciej Barć2022-02-012-0/+105
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* dev-lang/idris2: minor metadata changes; add changelogMaciej Barć2021-12-271-2/+5
* dev-lang/idris2: fix remote-idMaciej Barć2021-11-271-1/+1
* dev-lang/idris2: use dodoc instead of insintoMaciej Barć2021-11-271-4/+1
* dev-lang/idris2: new package; add version 0.5.1_p20211112Maciej Barć2021-11-273-0/+136