Home My Page Projects opam-deducteam
Summary Activity Tracker Lists SCM

Project Information

Registered: 2014-07-17 09:39
Activity Ranking: 237
View project Statistics or Activity
View list of RSS feeds available for this project.
Public Tools
Tracker  Tracker
There are no trackers available
Mailing Lists (0 public mailing lists)
SCM Repository (Git: 162 updates, 335 adds)
Project description

OPAM repository for OCaml software developped in Deducteam

To add this repository to your opam installation type
$ opam repository add deducteam https://scm.gforge.inria.fr/anonscm/git/opam-deducteam/opam-deducteam.git