Commits

Breadcrumbs

History for

on888a690

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 27, 2023

• dev-lang/idris2: bump to 0.7.0

  Show description for 0f91c77
  xgqt

  committed
  0f91c77

  Copy full SHA for 0f91c77

Commits on Oct 4, 2023

• dev-lang/idris2: drop old 0.5.1_p20220920

  Show description for b999766
  xgqt

  committed
  b999766

  Copy full SHA for b999766

• dev-lang/idris2: drop old 0.5.1_p20220224-r1

  Show description for 5730129
  xgqt

  committed
  5730129

  Copy full SHA for 5730129

Commits on Feb 14, 2023

• Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}

  Show description for 061ce25
  mgorny

  committed
  061ce25

  Copy full SHA for 061ce25

• Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}

  Show description for 15d76ea
  mgorny

  committed
  15d76ea

  Copy full SHA for 15d76ea

Commits on Feb 2, 2023

• dev-lang/idris2: H -> COMMIT

  Show description for fffb292
  xgqt

  committed
  fffb292

  Copy full SHA for fffb292

Commits on Nov 1, 2022

• dev-lang/idris2: drop old 0.5.1_p20220131-r1

  Show description for 3987ee9
  xgqt

  committed
  3987ee9

  Copy full SHA for 3987ee9

• dev-lang/idris2: bump to 0.6.0

  Show description for 2d8d51f
  xgqt

  committed
  2d8d51f

  Copy full SHA for 2d8d51f

Commits on Sep 21, 2022

• dev-lang/idris2: drop old 0.5.1_p20211112-r1

  Show description for 13fca1a
  xgqt

  committed
  13fca1a

  Copy full SHA for 13fca1a

• dev-lang/idris2: bump to 0.5.1_p20220920

  Show description for 3754321
  xgqt

  committed
  3754321

  Copy full SHA for 3754321

Commits on May 5, 2022

• dev-lang/idris2: rebuild on chez/racket slot change

  Show description for c9773b9
  xgqt

  committed
  c9773b9

  Copy full SHA for c9773b9

Commits on Feb 27, 2022

• dev-lang/idris2: bump to 0.5.1_p20220224 (2022.02.24 snapshot)

  Show description for 54b9673
  xgqt

  committed
  54b9673

  Copy full SHA for 54b9673

Commits on Feb 1, 2022

• dev-lang/idris2: bump to 0.5.1_p20220131

  Show description for 50f782a
  xgqt

  committed
  50f782a

  Copy full SHA for 50f782a

Commits on Jan 25, 2022

• **/metadata.xml: Replace http by https in DOCTYPE element

  Show description for 2585fff
  ulm

  committed
  2585fff

  Copy full SHA for 2585fff

Commits on Dec 27, 2021

• dev-lang/idris2: minor metadata changes; add changelog

  Show description for bbaacd6
  xgqt

  committed
  bbaacd6

  Copy full SHA for bbaacd6

Commits on Nov 27, 2021

• dev-lang/idris2: fix remote-id

  Show description for 283170e
  xgqt

  committed
  283170e

  Copy full SHA for 283170e

• dev-lang/idris2: use dodoc instead of insinto

  Show description for 793a720
  xgqt

  committed
  793a720

  Copy full SHA for 793a720

• dev-lang/idris2: new package; add version 0.5.1_p20211112

  Show description for 54d5164
  xgqt

  committed
  54d5164

  Copy full SHA for 54d5164

Loading