» Ubuntu » Paketler » noble (24.04LTS) » Kaynak » misc » boogie
[  jammy  ] [  noble  ]

Kaynak Paket: boogie (2.4.1+dfsg-0.1) [universe]

boogie için bağlantılar

Ubuntu Kaynakları:

Geliştirici:

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.

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
boogie
verifiable programming language (compiler)
libboogie-cil
verifiable programming language (library)

boogie ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları
  • adep: debhelper-compat (= 12)
    Paket mevcut değil
  • 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

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
boogie_2.4.1+dfsg-0.1.dsc 1,9 kB 88261ab4e426dbe3e65e78e950493e47
boogie_2.4.1+dfsg.orig.tar.xz 1.138,4 kB 48ad137c9193ba3359f734f4310d3ffe
boogie_2.4.1+dfsg-0.1.debian.tar.xz 8,9 kB 71e7c99e1268de6fee4c02632c1c1032
Debian Paket Kaynak Deposu (VCS: Git)
https://salsa.debian.org/debian/boogie.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://salsa.debian.org/debian/boogie