diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2012-03-25 20:43:00 +0000 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2012-03-25 20:43:00 +0000 |
| commit | 510308e039371b67db070f897e7f28f46b28618b (patch) | |
| tree | 208a96e2b0692904934850a9d5c7d80305005d29 /pkgs/development/ocaml-modules/sqlite3 | |
| parent | 00dc25ba430a0392d689a1a0ed3fff06e124c3cf (diff) | |
Adding a package for a preview release of Matita.
svn path=/nixpkgs/trunk/; revision=33418
Diffstat (limited to 'pkgs/development/ocaml-modules/sqlite3')
0 files changed, 0 insertions, 0 deletions