tüm seçenekler
bookworm  ] [  sid  ]

Kaynak Paket: qepcad (1.74+ds-3)

qepcad için bağlantılar

Debian Kaynakları:

Geliştiriciler:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
qepcad
quantifier elimination tool

qepcad ile İlgili Diğer Paketler

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

Download qepcad

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
qepcad_1.74+ds-3.dsc 2,0 kB b7b5b3db9e6193192259b88bb56a03b3
qepcad_1.74+ds.orig.tar.xz 249,0 kB 7d3f85d253473f6d90d83033ff22820d
qepcad_1.74+ds-3.debian.tar.xz 25,5 kB 6de574ef8a489093bbbf7e562033a054
Debian Paket Kaynak Deposu (VCS: Git)
https://salsa.debian.org/science-team/qepcad.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://salsa.debian.org/science-team/qepcad