všetky možnosti
bullseye  ] [  bookworm  ] [  sid  ]

Zdrojový balík: dafny (2.3.0+dfsg-0.1)

Odkazy pre dafny

Zdroje Debian:

Správca:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
dafny
programming language with program correctness verifier

Ostatné balíky súvisiace s balíkom dafny

  • build-depends
  • build-depends-indep

Download dafny

SúborVeľkosť (v kB)kontrolný súčet MD5
dafny_2.3.0+dfsg-0.1.dsc 1.9 kB eeeace130b80448c522243ce880cd9e1
dafny_2.3.0+dfsg.orig.tar.xz 2,116.3 kB 9106c3f8985bfa66fa641791c7ae5699
dafny_2.3.0+dfsg-0.1.debian.tar.xz 10.2 kB 17e393f6a9c52ca18b4d67afb86c17f0
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/debian/dafny.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/debian/dafny