» Ubuntu » Paketit » noble (24.04LTS) » Lähdepaketti » misc » boogie
[  jammy  ] [  noble  ]

Source Package: boogie (2.4.1+dfsg-0.1) [universe]

Links for boogie

Ubuntu-palvelut:

Ylläpitäjä:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Benjamin Barenblat

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
boogie
verifiable programming language (compiler)
libboogie-cil
verifiable programming language (library)

Muut pakettiin boogie liittyvät paketit

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 12)
    Paketti ei saatavilla
  • adep: cli-common-dev
    common files for building CLI packages
  • adep: mono-devel
    Mono development tools
  • adep: tzdata
    time zone and daylight-saving time data

Download boogie

TiedostoKoko (kt)MD5-tarkiste
boogie_2.4.1+dfsg-0.1.dsc 1.9 kt 88261ab4e426dbe3e65e78e950493e47
boogie_2.4.1+dfsg.orig.tar.xz 1,138.4 kt 48ad137c9193ba3359f734f4310d3ffe
boogie_2.4.1+dfsg-0.1.debian.tar.xz 8.9 kt 71e7c99e1268de6fee4c02632c1c1032
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/debian/boogie.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/debian/boogie