Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / opam @ master

History | View | Annotate | Download (1.36 KB)

# Date Author Comment
222db658 11/20/2018 04:48 PM Pierre-Loïc Garoche

New url in opam file

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