dev-lang/dafny-bin – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-12-06
- dev-lang/dafny-bin: drop old 4.8.1
  1da7c68
  Maciej Barć committed on 2024-12-06 08:26:22 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
- dev-lang/dafny-bin: Stabilize 4.9.0 amd64, #945928
  88eea32
  Sam James committed on 2024-12-06 07:47:40 UTC
  dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild
Commits on 2024-10-31
- dev-lang/dafny-bin: bump to 4.9.0
  e60cdf1
  Maciej Barć committed on 2024-10-31 23:17:19 UTC
  dev-lang/dafny-bin/dafny-bin-4.9.0.ebuilddev-lang/dafny-bin/Manifest
- dev-lang/dafny-bin: drop old 4.7.0
  99d9a73
  Maciej Barć committed on 2024-10-31 23:17:19 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
Commits on 2024-10-23
- dev-lang/dafny-bin: Stabilize 4.8.1 amd64, #942018
  a748bab
  Sam James committed on 2024-10-23 16:48:04 UTC
  dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
Commits on 2024-09-22
- dev-lang/dafny-bin: bump to 4.8.1
  3cb6137
  Maciej Barć committed on 2024-09-22 22:04:17 UTC
  dev-lang/dafny-bin/dafny-bin-4.8.1.ebuilddev-lang/dafny-bin/Manifest
- dev-lang/dafny-bin: drop old 4.6.0
  e1d80ba
  Maciej Barć committed on 2024-09-22 22:04:17 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
Commits on 2024-08-01
- dev-lang/dafny-bin: Stabilize 4.7.0 amd64, #937076
  4cdfdaf
  Arthur Zamarin committed on 2024-08-01 16:47:12 UTC
  dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
Commits on 2024-06-27
- dev-lang/dafny-bin: bump to 4.7.0
  df3a1d6
  Maciej Barć committed on 2024-06-27 22:42:19 UTC
  dev-lang/dafny-bin/dafny-bin-4.7.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2024-06-25
- dev-lang/dafny-bin: drop old 4.5.0-r1
  6d6c809
  Maciej Barć committed on 2024-06-25 15:25:58 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild
- dev-lang/dafny-bin: drop old 4.4.0-r1
  6721433
  Maciej Barć committed on 2024-06-25 15:25:58 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild
Commits on 2024-04-29
- dev-lang/dafny-bin: Stabilize 4.6.0 amd64, #930843
  96224c9
  Sam James committed on 2024-04-29 00:06:22 UTC
  dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
Commits on 2024-03-29
- dev-lang/dafny-bin: restrict binary stripping
  533148e
  Maciej Barć committed on 2024-03-29 03:04:54 UTC
  dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuilddev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuilddev-lang/dafny-bin/dafny-bin-4.4.0.ebuilddev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
- dev-lang/dafny-bin: bump to 4.6.0
  7daa94e
  Maciej Barć committed on 2024-03-29 03:04:53 UTC
  dev-lang/dafny-bin/dafny-bin-4.6.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2024-03-20
- dev-lang/dafny-bin: bump to 4.5.0
  af6502c
  Maciej Barć committed on 2024-03-20 19:30:53 UTC
  dev-lang/dafny-bin/dafny-bin-4.5.0.ebuilddev-lang/dafny-bin/Manifest
- dev-lang/dafny-bin: drop old 4.3.0
  1d862d7
  Maciej Barć committed on 2024-03-20 19:30:52 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
Commits on 2024-01-18
- dev-lang/dafny-bin: Stabilize 4.4.0 amd64, #922369
  cc7a90f
  Sam James committed on 2024-01-18 17:23:45 UTC
  dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
Commits on 2023-12-13
- dev-lang/dafny-bin: bump to 4.4.0
  feb6baf
  Maciej Barć committed on 2023-12-13 02:27:11 UTC
  dev-lang/dafny-bin/dafny-bin-4.4.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2023-11-15
- dev-lang/dafny-bin: drop old 4.2.0
  6200b24
  Maciej Barć committed on 2023-11-15 19:27:16 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
- dev-lang/dafny-bin: drop old 3.12.0
  b4771e8
  Maciej Barć committed on 2023-11-15 19:27:15 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
Commits on 2023-11-13
- dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301
  fc92ca2
  Sam James committed on 2023-11-13 19:52:34 UTC
  dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
Commits on 2023-10-28
- dev-lang/dafny-bin: Stabilize 4.2.0 amd64, #916395
  272b8e8
  Arthur Zamarin committed on 2023-10-28 16:48:06 UTC
  dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
Commits on 2023-09-30
- dev-lang/dafny-bin: bump to 4.3.0
  d480aae
  Maciej Barć committed on 2023-09-30 14:24:27 UTC
  dev-lang/dafny-bin/dafny-bin-4.3.0.ebuilddev-lang/dafny-bin/Manifest
- dev-lang/dafny-bin: drop old 3.10.0
  feb188f
  Maciej Barć committed on 2023-09-30 14:24:27 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
Commits on 2023-09-18
- dev-lang/dafny-bin: Stabilize 3.12.0 amd64, #914366
  c12b53c
  Sam James committed on 2023-09-18 00:17:45 UTC
  dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
Commits on 2023-09-17
- dev-lang/dafny-bin: bump to 4.2.0
  8db61c6
  Maciej Barć committed on 2023-09-17 19:20:28 UTC
  dev-lang/dafny-bin/dafny-bin-4.2.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2023-09-16
- dev-lang/dafny-bin: drop old 3.11.0
  94685dc
  Maciej Barć committed on 2023-09-16 14:47:36 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
Commits on 2023-02-28
- dev-lang/dafny-bin: switch maint to dotnet@gentoo.org
  dedd1cf
  Maciej Barć committed on 2023-02-28 18:03:17 UTC
  dev-lang/dafny-bin/metadata.xml
Commits on 2023-02-21
- dev-lang/dafny-bin: bump to 3.12.0
  76fc122
  Maciej Barć committed on 2023-02-21 23:53:59 UTC
  dev-lang/dafny-bin/dafny-bin-3.12.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2023-02-01
- dev-lang/dafny-bin: Stabilize 3.10.0 amd64, #892820
  9e268e6
  Sam James committed on 2023-02-01 19:38:07 UTC
  dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
- dev-lang/dafny-bin: drop old 3.9.1-r1
  a08c191
  Maciej Barć committed on 2023-02-01 14:09:57 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
- dev-lang/dafny-bin: drop old 3.9.0-r1
  8024c8c
  Maciej Barć committed on 2023-02-01 14:09:57 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
- dev-lang/dafny-bin: bump to 3.11.0
  3939d11
  Maciej Barć committed on 2023-02-01 14:09:57 UTC
  dev-lang/dafny-bin/dafny-bin-3.11.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-12-15
- dev-lang/dafny-bin: drop old 3.8.1-r1
  e9bfee8
  Maciej Barć committed on 2022-12-15 21:51:18 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
- dev-lang/dafny-bin: bump to 3.10.0
  2aae64a
  Maciej Barć committed on 2022-12-15 21:51:18 UTC
  dev-lang/dafny-bin/dafny-bin-3.10.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-11-18
- dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12
  0d8a089
  Maciej Barć committed on 2022-11-18 20:38:03 UTC
  dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuilddev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuilddev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuilddev-lang/dafny-bin/dafny-bin-3.8.1.ebuilddev-lang/dafny-bin/dafny-bin-3.9.0.ebuilddev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
Commits on 2022-11-01
- dev-lang/dafny-bin: drop old 3.8.0
  50a92b0
  Maciej Barć committed on 2022-11-01 02:38:07 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
- dev-lang/dafny-bin: bump to 3.9.1
  717ce12
  Maciej Barć committed on 2022-11-01 02:38:06 UTC
  dev-lang/dafny-bin/dafny-bin-3.9.1.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-10-06
- dev-lang/dafny-bin: drop old 3.7.3
  b4f7cb6
  Maciej Barć committed on 2022-10-06 02:28:18 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.7.3.ebuild
- dev-lang/dafny-bin: bump to 3.9.0
  022c23e
  Maciej Barć committed on 2022-10-06 01:59:19 UTC
  dev-lang/dafny-bin/dafny-bin-3.9.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-09-02
- dev-lang/dafny-bin: drop old 3.7.2
  b3dc489
  Maciej Barć committed on 2022-09-02 02:22:30 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.7.2.ebuild
- dev-lang/dafny-bin: bump to 3.8.1
  64e8760
  Maciej Barć committed on 2022-09-02 02:21:27 UTC
  dev-lang/dafny-bin/dafny-bin-3.8.1.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-08-27
- dev-lang/dafny-bin: drop old 3.7.1-r2
  cdf6b1e
  Maciej Barć committed on 2022-08-27 01:27:02 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
- dev-lang/dafny-bin: bump to 3.8.0
  3f50d6f
  Maciej Barć committed on 2022-08-27 01:27:02 UTC
  dev-lang/dafny-bin/dafny-bin-3.8.0.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-07-22
- dev-lang/dafny-bin: bump to 3.7.3
  c355bfc
  Maciej Barć committed on 2022-07-22 01:24:25 UTC
  dev-lang/dafny-bin/dafny-bin-3.7.3.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-07-19
- dev-lang/dafny-bin: bump to 3.7.2
  c83357b
  Maciej Barć committed on 2022-07-19 19:32:11 UTC
  dev-lang/dafny-bin/dafny-bin-3.7.2.ebuilddev-lang/dafny-bin/Manifest
Commits on 2022-06-30
- dev-lang/dafny-bin: use insopts
  b303292
  Maciej Barć committed on 2022-06-30 15:33:08 UTC
  dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuilddev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
- dev-lang/dafny-bin: add missing runtime deps; exe bit for ibs
  5c6894c
  Maciej Barć committed on 2022-06-30 13:13:41 UTC
  dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuilddev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
Commits on 2022-06-29
- dev-lang/dafny-bin: new package; add version 3.7.1
  cac9016
  Maciej Barć committed on 2022-06-29 15:58:36 UTC
  dev-lang/dafny-bin/Manifestdev-lang/dafny-bin/dafny-bin-3.7.1.ebuilddev-lang/dafny-bin/metadata.xml