Skip to content
Sections
>> Trisquel >> Paketler >> aramo >> Kaynak >> misc >> qepcad
aramo  ]

Kaynak Paket: qepcad (1.74+ds-3)

qepcad için bağlantılar

Trisquel Kaynakları:

Geliştirici:

Original Maintainers:

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ı
  • adep: debhelper-compat (= 13)
    Paket mevcut değil
  • adep: freeglut3-dev
    OpenGL Utility Toolkit development files
  • adep: libreadline-dev
    GNU readline and history libraries, development files
  • adep: libsaclib-dev
    library of C programs for computer algebra (development)
  • adep: pkg-config
    manage compile and link flags for libraries

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