Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / opam @ 6cfa0edc

History | View | Annotate | Download (1.36 KB)

# Date Author Comment
029fd57f 11/28/2018 04:51 PM Arnaud Dieumegard

updated repository branch definition in opam config

a7ce880f 11/17/2018 07:17 AM Pierre-Loïc Garoche

Initiating nwew version 1.7 Xia/Huai

efe57954 11/17/2018 06:37 AM Pierre-Loïc Garoche

Recording the opam file