Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ソース >> misc >> qepcad
aramo  ]

ソースパッケージ: qepcad (1.74+ds-3)

qepcad に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainers:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
qepcad
quantifier elimination tool

その他の qepcad 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)
  • adep: debhelper-compat (= 13)
    パッケージは利用できません
  • 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

ファイルサイズ (単位: kB)MD5 チェックサム
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 パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/science-team/qepcad.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/science-team/qepcad