tüm seçenekler
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]

Kaynak Paket: minlog (4.0.99.20100221-8)

minlog için bağlantılar

Debian Kaynakları:

Geliştiriciler:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
minlog
Proof assistant based on first order natural deduction calculus

minlog ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları

Download minlog

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
minlog_4.0.99.20100221-8.dsc 2,0 kB e8be8202dff8440ce5f77f48de4ecff3
minlog_4.0.99.20100221.orig.tar.gz 1.153,4 kB debaa2592081eac38ba540a620f95897
minlog_4.0.99.20100221-8.debian.tar.xz 4,3 kB e83cb434ad54e12d735c2361357b3ce7
Debian Paket Kaynak Deposu (VCS: Git)
https://salsa.debian.org/science-team/minlog.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://salsa.debian.org/science-team/minlog