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

Project Information

Registered: 2014-07-17 09:39
Activity Ranking: 0
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: 184 updates, 407 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