Commits

Breadcrumbs

History for

onf30f416

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2023

• dev-lang/dafny-bin: drop old 4.2.0

  Show description for 6200b24
  xgqt

  committed
  6200b24

• dev-lang/dafny-bin: drop old 3.12.0

  Show description for b4771e8
  xgqt

  committed
  b4771e8

Commits on Nov 13, 2023

• dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301

  Show description for fc92ca2
  thesamesam

  committed
  fc92ca2

Commits on Oct 28, 2023

• dev-lang/dafny-bin: Stabilize 4.2.0 amd64, #916395

  Show description for 272b8e8
  arthurzam

  committed
  272b8e8

Commits on Sep 30, 2023

• dev-lang/dafny-bin: bump to 4.3.0

  Show description for d480aae
  xgqt

  committed
  d480aae

• dev-lang/dafny-bin: drop old 3.10.0

  Show description for feb188f
  xgqt

  committed
  feb188f

Commits on Sep 18, 2023

• dev-lang/dafny-bin: Stabilize 3.12.0 amd64, #914366

  Show description for c12b53c
  thesamesam

  committed
  c12b53c

Commits on Sep 17, 2023

• dev-lang/dafny-bin: bump to 4.2.0

  Show description for 8db61c6
  xgqt

  committed
  8db61c6

Commits on Sep 16, 2023

• dev-lang/dafny-bin: drop old 3.11.0

  Show description for 94685dc
  xgqt

  committed
  94685dc

Commits on Feb 28, 2023

• dev-lang/dafny-bin: switch maint to [email protected]

  Show description for dedd1cf
  xgqt

  committed
  dedd1cf

Commits on Feb 21, 2023

• dev-lang/dafny-bin: bump to 3.12.0

  Show description for 76fc122
  xgqt

  committed
  76fc122

Commits on Feb 1, 2023

• dev-lang/dafny-bin: Stabilize 3.10.0 amd64, #892820

  Show description for 9e268e6
  thesamesam

  committed
  9e268e6

• dev-lang/dafny-bin: drop old 3.9.1-r1

  Show description for a08c191
  xgqt

  committed
  a08c191

• dev-lang/dafny-bin: drop old 3.9.0-r1

  Show description for 8024c8c
  xgqt

  committed
  8024c8c

• dev-lang/dafny-bin: bump to 3.11.0

  Show description for 3939d11
  xgqt

  committed
  3939d11

Commits on Dec 15, 2022

• dev-lang/dafny-bin: drop old 3.8.1-r1

  Show description for e9bfee8
  xgqt

  committed
  e9bfee8

• dev-lang/dafny-bin: bump to 3.10.0

  Show description for 2aae64a
  xgqt

  committed
  2aae64a

Commits on Nov 18, 2022

• dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12

  Show description for 0d8a089
  xgqt

  committed
  0d8a089

Commits on Nov 1, 2022

• dev-lang/dafny-bin: drop old 3.8.0

  Show description for 50a92b0
  xgqt

  committed
  50a92b0

• dev-lang/dafny-bin: bump to 3.9.1

  Show description for 717ce12
  xgqt

  committed
  717ce12

Commits on Oct 6, 2022

• dev-lang/dafny-bin: drop old 3.7.3

  Show description for b4f7cb6
  xgqt

  committed
  b4f7cb6

• dev-lang/dafny-bin: bump to 3.9.0

  Show description for 022c23e
  xgqt

  committed
  022c23e

Commits on Sep 2, 2022

• dev-lang/dafny-bin: drop old 3.7.2

  Show description for b3dc489
  xgqt

  committed
  b3dc489

• dev-lang/dafny-bin: bump to 3.8.1

  Show description for 64e8760
  xgqt

  committed
  64e8760

Commits on Aug 27, 2022

• dev-lang/dafny-bin: drop old 3.7.1-r2

  Show description for cdf6b1e
  xgqt

  committed
  cdf6b1e

• dev-lang/dafny-bin: bump to 3.8.0

  Show description for 3f50d6f
  xgqt

  committed
  3f50d6f

Commits on Jul 22, 2022

• dev-lang/dafny-bin: bump to 3.7.3

  Show description for c355bfc
  xgqt

  committed
  c355bfc

Commits on Jul 19, 2022

• dev-lang/dafny-bin: bump to 3.7.2

  Show description for c83357b
  xgqt

  committed
  c83357b

Commits on Jun 30, 2022

• dev-lang/dafny-bin: use insopts

  Show description for b303292
  xgqt

  committed
  b303292

• dev-lang/dafny-bin: add missing runtime deps; exe bit for ibs

  Show description for 5c6894c
  xgqt

  committed
  5c6894c

Commits on Jun 29, 2022

• dev-lang/dafny-bin: new package; add version 3.7.1

  Show description for cac9016
  xgqt

  committed
  cac9016

Loading