略過導航欄

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

libcoq-mathcomp-abel 的相關連結

Debian 的資源：

• 報告問題
• Developer Information
• Debian Changelog
• 版權檔案
• Debian 補丁追蹤網站

下載原始碼套件 mathcomp-abel：

• [mathcomp-abel_1.2.1-1.dsc]
• [mathcomp-abel_1.2.1.orig.tar.gz]
• [mathcomp-abel_1.2.1-1.debian.tar.xz]

維護小組：

• Debian OCaml Maintainers (QA 頁面, 郵件存檔)
• Julien Puydt (QA 頁面)

外部的資源：

• 主頁 [github.com]

相似套件：

• libcoq-mathcomp-real-closed
• libcoq-mathcomp-field
• libcoq-mathcomp-analysis
• libcoq-mathcomp-solvable
• libcoq-mathcomp-finmap
• libcoq-mathcomp-bigenough
• libcoq-mathcomp-algebra-tactics
• libcoq-mathcomp-classical
• libcoq-mathcomp-multinomials
• libcoq-mathcomp-zify
• libssreflect-coq

其他與 libcoq-mathcomp-abel 有關的套件

• dep: libcoq-mathcomp-algebra-ns1c5

  本虛擬套件由這些套件填實： libcoq-mathcomp-algebra

• dep: libcoq-mathcomp-field-3ivo6

  本虛擬套件由這些套件填實： libcoq-mathcomp-field

• dep: libcoq-mathcomp-fingroup-rm7l3

  本虛擬套件由這些套件填實： libcoq-mathcomp-fingroup

• dep: libcoq-mathcomp-real-closed-d6rn2

  本虛擬套件由這些套件填實： libcoq-mathcomp-real-closed

• dep: libcoq-mathcomp-solvable-iw1x2

  本虛擬套件由這些套件填實： libcoq-mathcomp-solvable

• dep: libcoq-mathcomp-ssreflect-7sy01

  本虛擬套件由這些套件填實： libcoq-mathcomp-ssreflect

下載 libcoq-mathcomp-abel