[ sid ]
Пакет: libaac-tactics-ocaml (8.11.0-1 и други) [debports]
Връзки за libaac-tactics-ocaml
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the plugin itself.
Други пакети, свързани с libaac-tactics-ocaml
|
|
|
|
-
- dep: libcoq-ocaml-mdvi3 [sparc64]
- Пакетът не е наличен
-
- dep: libcoq-ocaml-p2447 [sh4]
- Пакетът не е наличен
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Пакетът не е наличен
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Пакетът не е наличен
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Пакетът не е наличен
-
- dep: ocaml-base-nox-4.08.1 [не alpha]
- Пакетът не е наличен
-
- rec: libaac-tactics-coq
- Пакетът не е наличен
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Изтегляне на libaac-tactics-ocaml
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| alpha (неофициална архитектура) | 8.8.0+1.gbp069dc3b-1+b2 | 27,0 кБ | 135,0 кБ | [списък на файловете] |
| hppa (неофициална архитектура) | 8.9.0-1+b1 | 26,7 кБ | 130,0 кБ | [списък на файловете] |
| ia64 (неофициална архитектура) | 8.9.0-1+b1 | 26,7 кБ | 130,0 кБ | [списък на файловете] |
| sh4 (неофициална архитектура) | 8.11.0-1+b2 | 25,3 кБ | 115,0 кБ | [списък на файловете] |
| sparc64 (неофициална архитектура) | 8.8.0+1.gbp069dc3b-1+b2 | 26,7 кБ | 131,0 кБ | [списък на файловете] |
| x32 (неофициална архитектура) | 8.9.0-1+b1 | 26,7 кБ | 130,0 кБ | [списък на файловете] |