Paket: libboogie-cil (2.4.1+dfsg-0.1) [universe]

libboogie-cil için bağlantılar

Ubuntu Kaynakları:

• Hata Raporları
• Ubuntu Değişim Günlüğü
• Telif Hakkı Dosyası

boogie Kaynak Paketini İndir:

• [boogie_2.4.1+dfsg-0.1.dsc]
• [boogie_2.4.1+dfsg.orig.tar.xz]
• [boogie_2.4.1+dfsg-0.1.debian.tar.xz]

Geliştirici:

• Ubuntu MOTU Developers (Posta Arşivi)

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:

• Ana Sayfa [research.microsoft.com]

Benzer paketler:

• dafny
• golang-github-go-enry-go-enry-dev
• golang-github-ishidawataru-sctp-dev
• golang-gomega-dev
• libfsharp-core4.3-cil
• libfsharp-data-typeproviders4.4-cil
• ruby-soap4r
• libghc-futhark-dev
• golang-github-aws-aws-sdk-go-v2-dev
• golang-github-muhlemmer-gu-dev
• libghc-futhark-doc

libboogie-cil ile İlgili Diğer Paketler

• dep: libmono-corlib4.5-cil (>= 5.18.0.240)

  Mono core library (for CLI 4.5)

• dep: libmono-system-core4.0-cil (>= 5.18.0.240)

  Mono System.Core library (for CLI 4.0)

• dep: libmono-system-drawing4.0-cil (>= 5.12.0.309)

  Mono System.Drawing library (for CLI 4.0)

• dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)

  Mono System.Numerics library (for CLI 4.0)

• dep: libmono-system-runtime-caching4.0-cil (>= 5.12.0.309)

  Mono System.Runtime.Caching Library (for CLI 4.0)

• dep: libmono-system-windows-forms4.0-cil (>= 5.16.0.220)

  Mono System.Windows.Forms Library (for CLI 4.0)

• dep: libmono-system-xml4.0-cil (>= 4.6.1.3)

  Mono System.Xml library (for CLI 4.0)

• dep: libmono-system4.0-cil (>= 5.18.0.240)

  Mono System libraries (for CLI 4.0)

libboogie-cil indir