dafny packages - Repology

35 package(s) known

AUR

dafny-bin

4.2.0 (4.2.0-1)

Summary:
Dafny is a verification-aware programming language
Maintainer:
- tchajed@aur
License:
- MIT
Link(s):

AUR

dafny-git

v3.0.0.rpre.rrelease.r1.r256.rgd25ae257 (v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-1)

Summary:
Dafny is a verification-aware programming language
Maintainer:
- crave@aur
License:
- MIT
Link(s):

Debian 11
^{bullseye/main}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Debian 12
^{bookworm/main}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Debian Unstable
^sid/main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Devuan 4.0
^{chimaera/main}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Devuan Unstable
^{unstable/main}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Gentoo

dev-lang/dafny

4.3.0 (4.3.0-r1)

Summary:
Dafny is a verification-aware programming language
Maintainer:
- dotnet@gentoo.org
Category:
- dev-lang
License:
- MIT
Link(s):

Gentoo

dev-lang/dafny-bin

4.3.0

Summary:
Verification-aware programming language
Maintainer:
- dotnet@gentoo.org
Category:
- dev-lang
License:
- MIT
Link(s):

Homebrew

dafny

4.3.0

Summary:
Verification-aware programming language
Link(s):

LiGurOS stable

dev-lang/dafny-bin

3.12.0

Summary:
Verification-aware programming language
Maintainer:
- dotnet@gentoo.org
Category:
- dev-lang
License:
- MIT
Link(s):

LiGurOS stable

dev-lang/dafny-bin

3.11.0

Summary:
Verification-aware programming language
Maintainer:
- dotnet@gentoo.org
Category:
- dev-lang
License:
- MIT
Link(s):

LiGurOS stable

dev-lang/dafny-bin

3.10.0

Summary:
Verification-aware programming language
Maintainer:
- dotnet@gentoo.org
Category:
- dev-lang
License:
- MIT
Link(s):

LiGurOS develop

dev-lang/dafny

4.3.0 (4.3.0-r1)

Summary:
Dafny is a verification-aware programming language
Maintainer:
- dotnet@gentoo.org
Category:
- dev-lang
License:
- MIT
Link(s):

LiGurOS develop

dev-lang/dafny-bin

4.3.0

Summary:
Verification-aware programming language
Maintainer:
- dotnet@gentoo.org
Category:
- dev-lang
License:
- MIT
Link(s):

nixpkgs stable 21.11

Dafny

2.3.0

Summary:
A programming language with built-in specification constructs
Maintainer:
- layus.on@gmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 22.05

Dafny

2.3.0

Summary:
A programming language with built-in specification constructs
Maintainer:
- layus.on@gmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 22.11

Dafny

2.3.0

Summary:
A programming language with built-in specification constructs
Maintainer:
- layus.on@gmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs stable 23.05

Dafny

4.0.0

Summary:
A programming language with built-in specification constructs
Maintainer:
- layus.on@gmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

nixpkgs unstable

Dafny

4.3.0

Summary:
A programming language with built-in specification constructs
Maintainer:
- layus.on@gmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{redir, no IPv6}

Pardus 21
^main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Parrot
^parrot/main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Parrot
^{parrot-updates/main}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

PureOS landing

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- devel
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Oldstable
^main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Stable
^main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Raspbian Testing
^main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- misc
Link(s):
- Upstream homepage^{redir, no IPv6}

Scoop
^main

dafny

4.3.0

License:
- MIT
Link(s):

Trisquel 10.0
^nabia/main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- universe/misc
Link(s):
- Package page^ok
- Upstream homepage^{redir, no IPv6}

Trisquel 11.0
^aramo/main

dafny

2.3.0 (2.3.0+dfsg-0.1)

Maintainer:
- bbaren@mit.edu
Category:
- universe/misc
Link(s):
- Package page^ok
- Upstream homepage^{redir, no IPv6}

Ubuntu 18.04
^{bionic/universe}

dafny

1.9.7 (1.9.7-1)

Maintainer:
- bbaren@mit.edu
Category:
- universe/misc
Link(s):

Ubuntu 20.04
^{focal/universe}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Ubuntu 22.04
^{jammy/universe}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Ubuntu 23.04
^{lunar/universe}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Ubuntu 23.10
^{mantic/universe}

dafny

2.3.0 (2.3.0+dfsg-0.1)

Packages for dafny

dafny-bin

dafny-git

dafny

dafny

dafny

dafny

dafny

dev-lang/dafny

dev-lang/dafny-bin

dafny

dev-lang/dafny-bin

dev-lang/dafny-bin

dev-lang/dafny-bin

dev-lang/dafny

dev-lang/dafny-bin

Dafny

Dafny

Dafny

Dafny

Dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny

dafny