diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 12:43:48 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 14:03:15 +0100 |
| commit | c30c5f7cf3759ca37a845de8a2ed280aaac238f0 (patch) | |
| tree | 31cf7b6f45df80f756909998f928cfc3ae2ba410 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | fde68228d9c837c10bca79434478a057116d0179 (diff) | |
Adds three coq libraries: containers, mathcomp, ssreflect
Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.
Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4
The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.
Homepage: http://ssr.msr-inria.inria.fr/
Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.
Homepage: http://ssr.msr-inria.inria.fr/
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions