packages
[ 源代码: mathcomp-multinomials ]
软件包: libcoq-mathcomp-multinomials (2.3.0-1build10) [universe]
libcoq-mathcomp-multinomials 的相关链接
Ubuntu 的资源:
下载源码包 mathcomp-multinomials:
- [mathcomp-multinomials_2.3.0-1build10.dsc]
- [mathcomp-multinomials_2.3.0.orig.tar.gz]
- [mathcomp-multinomials_2.3.0-1build10.debian.tar.xz]
维护者:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
外部的资源:
- 主页 [github.com]
相似软件包:
Multivariate polynomials for Mathematical Components
其他与 libcoq-mathcomp-multinomials 有关的软件包
|
|
|
|
-
- dep: libcoq-elpi (>= 1.19)
- Coq plugin embedding Elpi
-
- dep: libcoq-mathcomp-algebra-5x8n0 [s390x]
- 本虚包由这些包填实: libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-ia346 [amd64]
- 本虚包由这些包填实: libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-lfjz8 [riscv64]
- 本虚包由这些包填实: libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-orc06 [ppc64el]
- 本虚包由这些包填实: libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-owqi1 [arm64]
- 本虚包由这些包填实: libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-bigenough-9irp2 [amd64]
- 本虚包由这些包填实: libcoq-mathcomp-bigenough
-
- dep: libcoq-mathcomp-bigenough-apbf1 [ppc64el]
- 本虚包由这些包填实: libcoq-mathcomp-bigenough
-
- dep: libcoq-mathcomp-bigenough-de0x8 [arm64]
- 本虚包由这些包填实: libcoq-mathcomp-bigenough
-
- dep: libcoq-mathcomp-bigenough-ooxp4 [s390x]
- 本虚包由这些包填实: libcoq-mathcomp-bigenough
-
- dep: libcoq-mathcomp-bigenough-q57j6 [riscv64]
- 本虚包由这些包填实: libcoq-mathcomp-bigenough
-
- dep: libcoq-mathcomp-finmap-f0h27 [amd64]
- 本虚包由这些包填实: libcoq-mathcomp-finmap
-
- dep: libcoq-mathcomp-finmap-mnbr2 [riscv64]
- 本虚包由这些包填实: libcoq-mathcomp-finmap
-
- dep: libcoq-mathcomp-finmap-t0yd2 [ppc64el]
- 本虚包由这些包填实: libcoq-mathcomp-finmap
-
- dep: libcoq-mathcomp-finmap-ug1g0 [s390x]
- 本虚包由这些包填实: libcoq-mathcomp-finmap
-
- dep: libcoq-mathcomp-finmap-yb6k6 [arm64]
- 本虚包由这些包填实: libcoq-mathcomp-finmap
-
- dep: libcoq-mathcomp-ssreflect-3joc4 [ppc64el]
- 本虚包由这些包填实: libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-d7dr6 [s390x]
- 本虚包由这些包填实: libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-se0h4 [arm64]
- 本虚包由这些包填实: libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-wc9l9 [amd64]
- 本虚包由这些包填实: libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-xff76 [riscv64]
- 本虚包由这些包填实: libcoq-mathcomp-ssreflect
-
- sug: ocaml-findlib
- management tool for OCaml libraries