Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / opam @ e8250987

History | View | Annotate | Download (1.36 KB)

# Date Author Comment
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