|
|
246.
|
|
|
Non-free items from the ConTeXt distribution
|
|
|
Summary
|
|
|
|
|
Non-free items from the ConTeXt distribution
|
|
Translated by
mrx5682
|
|
Reviewed by
Anthony Harrington
|
|
|
|
Located in
Package: context-nonfree
|
|
|
247.
|
|
|
The ConTeXt distribution contains some fonts that are not considered free from Debian perspective, which are included here.
|
|
|
Description
|
|
|
|
|
The ConTeXt distribution contains some fonts that are not considered free from Debian perspective, which are included here.
|
|
Translated by
mrx5682
|
|
Reviewed by
Anthony Harrington
|
|
|
|
Located in
Package: context-nonfree
|
|
|
248.
|
|
|
documentation for Coq
|
|
|
Summary
|
|
|
|
|
documentation for Coq
|
|
Translated and reviewed by
etali
|
|
|
|
Located in
Package: coq-doc
|
|
|
249.
|
|
|
This is a dummy package which will install the documentation in html and pdf formats.
|
|
|
Description
|
|
|
|
|
This is a dummy package which will install the documentation in html and pdf formats.
|
|
Translated and reviewed by
etali
|
|
|
|
Located in
Package: coq-doc
|
|
|
250.
|
|
|
documentation for Coq in html format
|
|
|
Summary
|
|
|
|
|
documentation for Coq in html format
|
|
Translated and reviewed by
etali
|
|
|
|
Located in
Package: coq-doc-html
|
|
|
251.
|
|
|
This package contains its documentation and tutorials in html format.
|
|
|
Description
|
|
|
|
|
This package contains its documentation and tutorials in html format.
|
|
Translated and reviewed by
etali
|
|
|
|
Located in
Package: coq-doc-html
|
|
|
252.
|
|
|
documentation for Coq in pdf format
|
|
|
Summary
|
|
|
|
|
documentation for Coq in pdf format
|
|
Translated and reviewed by
etali
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
|
253.
|
|
|
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
|
|
|
Description
|
|
|
|
|
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
|
|
Translated and reviewed by
etali
|
|
|
|
Located in
Package: coq-doc-pdf
Package: coq-doc-html
Package: coq-doc
|
|
|
254.
|
|
|
This package contains its documentation and tutorials in pdf format.
|
|
|
Description
|
|
|
|
|
This package contains its documentation and tutorials in pdf format.
|
|
Translated and reviewed by
etali
|
|
|
|
Located in
Package: coq-doc-pdf
|
|
|
255.
|
|
|
Open source clone of Theme Hospital
|
|
|
Summary
|
|
|
|
|
Open source clone of Theme Hospital
|
|
Translated and reviewed by
Stephan Woidowski
|
|
|
|
Located in
Package: corsix-th
|
