dev-lang/dafny – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-12-22
- dev-lang/dafny: bump to 4.9.1
  afa47dc
  Maciej Barć committed on 2024-12-22 00:42:24 UTC
  dev-lang/dafny/dafny-4.9.1.ebuilddev-lang/dafny/Manifest
Commits on 2024-11-22
- Rename dev-python/{OutputCheck → outputcheck}
  1cb7588
  Michał Górny committed on 2024-11-22 21:31:26 UTC
  dev-lang/dafny/dafny-4.8.0.ebuilddev-lang/dafny/dafny-4.8.1.ebuilddev-lang/dafny/dafny-4.9.0.ebuild
Commits on 2024-11-09
- */*: update for slotted Rust
  01ba4dc
  Matt Jolly committed on 2024-11-09 06:25:41 UTC
  dev-lang/dafny/dafny-4.8.0.ebuilddev-lang/dafny/dafny-4.8.1.ebuilddev-lang/dafny/dafny-4.9.0.ebuild
Commits on 2024-11-04
- dev-lang/dafny: remove tests failing with GCC 14
  99cfed0
  Maciej Barć committed on 2024-11-04 00:19:32 UTC
  dev-lang/dafny/dafny-4.9.0.ebuild
Commits on 2024-10-31
- dev-lang/dafny: bump to 4.9.0
  d58a316
  Maciej Barć committed on 2024-10-31 23:17:20 UTC
  dev-lang/dafny/dafny-4.9.0.ebuilddev-lang/dafny/Manifest
Commits on 2024-10-23
- dev-lang/dafny: drop old 4.7.0
  87cfda6
  Maciej Barć committed on 2024-10-23 15:44:06 UTC
  dev-lang/dafny/Manifestdev-lang/dafny/dafny-4.7.0.ebuild
Commits on 2024-10-01
- dev-lang/dafny: Stabilize 4.8.0 amd64, #940558
  ac5db14
  Sam James committed on 2024-10-01 01:10:34 UTC
  dev-lang/dafny/dafny-4.8.0.ebuild
Commits on 2024-09-16
- dev-lang/dafny: bump to 4.8.1
  ba672a9
  Maciej Barć committed on 2024-09-16 23:44:32 UTC
  dev-lang/dafny/dafny-4.8.1.ebuilddev-lang/dafny/Manifest
Commits on 2024-08-30
- dev-lang/dafny: bump to 4.8.0
  64cb0fa
  Maciej Barć committed on 2024-08-30 23:52:53 UTC
  dev-lang/dafny/dafny-4.8.0.ebuilddev-lang/dafny/Manifest
- dev-lang/dafny: drop old 4.6.0
  11ed44d
  Maciej Barć committed on 2024-08-30 23:52:53 UTC
  dev-lang/dafny/Manifestdev-lang/dafny/dafny-4.6.0.ebuild
Commits on 2024-08-01
- dev-lang/dafny: Stabilize 4.7.0 amd64, #937075
  e29eea3
  Arthur Zamarin committed on 2024-08-01 16:47:11 UTC
  dev-lang/dafny/dafny-4.7.0.ebuild
Commits on 2024-06-27
- dev-lang/dafny: bump to 4.7.0
  2784f19
  Maciej Barć committed on 2024-06-27 22:42:19 UTC
  dev-lang/dafny/dafny-4.7.0.ebuilddev-lang/dafny/Manifest
Commits on 2024-06-07
- dev-lang/dafny: drop old 4.5.0
  6ba5a1b
  Maciej Barć committed on 2024-06-07 12:57:47 UTC
  dev-lang/dafny/Manifestdev-lang/dafny/dafny-4.5.0.ebuild
Commits on 2024-05-28
- dev-lang/dafny: Stabilize 4.6.0 amd64, #932860
  e78b0b9
  Sam James committed on 2024-05-28 12:34:08 UTC
  dev-lang/dafny/dafny-4.6.0.ebuild
Commits on 2024-05-27
- dev-lang/dafny: drop old 4.4.0-r1
  27dba04
  Maciej Barć committed on 2024-05-27 21:03:27 UTC
  dev-lang/dafny/Manifestdev-lang/dafny/dafny-4.4.0-r1.ebuilddev-lang/dafny/files/dafny-4.4.0-lit-config.patchdev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch
- dev-lang/dafny: disable broken c++ tests
  f881880
  Maciej Barć committed on 2024-05-27 21:03:27 UTC
  dev-lang/dafny/dafny-4.6.0.ebuild
Commits on 2024-05-24
- dev-lang/dafny: Stabilize 4.5.0 amd64, #930160
  9fde0b4
  Matoro Mahri authored and Ionen Wolkens committed on 2024-05-24 02:45:19 UTC
  dev-lang/dafny/dafny-4.5.0.ebuild
Commits on 2024-05-23
- dev-lang/dafny: use edo instead of edob
  33ec65b
  Maciej Barć committed on 2024-05-23 22:08:08 UTC
  dev-lang/dafny/dafny-4.4.0-r1.ebuilddev-lang/dafny/dafny-4.5.0.ebuilddev-lang/dafny/dafny-4.6.0.ebuild
Commits on 2024-03-29
- dev-lang/dafny: bump to 4.6.0
  43e028a
  Maciej Barć committed on 2024-03-29 03:04:54 UTC
  dev-lang/dafny/dafny-4.6.0.ebuilddev-lang/dafny/Manifest
Commits on 2024-03-18
- dev-lang/dafny: disable tests requiring cargo
  0e92cfa
  Maciej Barć committed on 2024-03-18 23:04:28 UTC
  dev-lang/dafny/dafny-4.5.0.ebuild
- dev-lang/dafny: add missing psutil test dependency
  7edf702
  Maciej Barć committed on 2024-03-18 08:28:59 UTC
  dev-lang/dafny/dafny-4.5.0.ebuild
Commits on 2024-03-17
- dev-lang/dafny: bump to 4.5.0
  3caad7d
  Maciej Barć committed on 2024-03-17 21:53:18 UTC
  dev-lang/dafny/dafny-4.5.0.ebuilddev-lang/dafny/files/dafny-4.5.0-lit-config.patchdev-lang/dafny/Manifest
Commits on 2024-02-10
- dev-lang/dafny: drop old 4.3.0-r1
  ddfc17b
  Maciej Barć committed on 2024-02-10 16:24:49 UTC
  dev-lang/dafny/Manifestdev-lang/dafny/dafny-4.3.0-r1.ebuilddev-lang/dafny/files/dafny-4.1.0-lit.patchdev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patchdev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
Commits on 2024-01-29
- dev-lang/dafny: Stabilize 4.4.0-r1 amd64, #922370
  b2fc369
  Maciej Barć committed on 2024-01-29 14:13:28 UTC
  dev-lang/dafny/dafny-4.4.0-r1.ebuild
Commits on 2023-12-13
- dev-lang/dafny: bring Java support back
  4a647d3
  Maciej Barć committed on 2023-12-13 17:17:55 UTC
  dev-lang/dafny/dafny-4.4.0-r1.ebuilddev-lang/dafny/dafny-4.4.0.ebuilddev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patchdev-lang/dafny/files/dafny-4.4.0-no-output-jar.patch
- dev-lang/dafny: bump to 4.4.0
  394afbb
  Maciej Barć committed on 2023-12-13 02:27:13 UTC
  dev-lang/dafny/dafny-4.4.0.ebuilddev-lang/dafny/files/dafny-4.4.0-lit-config.patchdev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patchdev-lang/dafny/files/dafny-4.4.0-no-copy-jar.patchdev-lang/dafny/files/dafny-4.4.0-no-output-jar.patchdev-lang/dafny/Manifest
Commits on 2023-11-13
- dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307
  e1aa417
  Sam James committed on 2023-11-13 22:03:57 UTC
  dev-lang/dafny/dafny-4.3.0-r1.ebuild
Commits on 2023-10-30
- dev-lang/dafny: patch out .NET framework
  467b53b
  Maciej Barć committed on 2023-10-30 23:15:54 UTC
  dev-lang/dafny/dafny-4.3.0-r1.ebuilddev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patchdev-lang/dafny/Manifestdev-lang/dafny/dafny-4.3.0.ebuild
Commits on 2023-10-06
- dev-lang/dafny: clean environment in pkg_setup
  6b0f299
  Maciej Barć committed on 2023-10-06 15:20:50 UTC
  dev-lang/dafny/dafny-4.3.0.ebuild
- dev-lang/dafny: drop old 4.2.0
  88c24e0
  Maciej Barć committed on 2023-10-06 15:20:49 UTC
  dev-lang/dafny/Manifestdev-lang/dafny/dafny-4.2.0.ebuild
Commits on 2023-09-30
- dev-lang/dafny: bump to 4.3.0
  f194b5a
  Maciej Barć committed on 2023-09-30 14:24:26 UTC
  dev-lang/dafny/dafny-4.3.0.ebuilddev-lang/dafny/Manifest
Commits on 2023-09-18
- dev-lang/dafny: add "go" test dependency
  418e2b3
  Maciej Barć committed on 2023-09-18 15:00:28 UTC
  dev-lang/dafny/dafny-4.2.0.ebuild
Commits on 2023-09-17
- dev-lang/dafny: add missing src_unpack to support git
  7b3b0de
  Maciej Barć committed on 2023-09-17 22:37:21 UTC
  dev-lang/dafny/dafny-4.2.0.ebuild
- dev-lang/dafny: new package; add 4.2.0
  b9accad
  Maciej Barć committed on 2023-09-17 19:20:28 UTC
  dev-lang/dafny/Manifestdev-lang/dafny/dafny-4.2.0.ebuilddev-lang/dafny/files/dafny-3.12.0-DafnyCore-csproj.patchdev-lang/dafny/files/dafny-3.12.0-DafnyRuntime-csproj.patchdev-lang/dafny/files/dafny-4.1.0-lit.patchdev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patchdev-lang/dafny/metadata.xml