diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-19 14:26:11 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-12-28 08:19:54 +0100 |
| commit | a9d066a990928b00f3e3578c0d324e465f05f1cd (patch) | |
| tree | ff39b890949f739f1545cd6f10477428c235e559 /pkgs/development/python-modules/python-sql | |
| parent | 5128f43b283da1214ad5004092b1e0d9f34a7ec8 (diff) | |
coqPackages.tlc: init at 20171206
TLC is a general purpose Coq library that provides an alternative to Coq's
standard library.
Homepage: http://www.chargueraud.org/softs/tlc/
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions