Project

General

Profile

Revision 222db658

View differences:

opam
39 39
on lustrec to produce code or verification artifacts.
40 40
"""
41 41
url {
42
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/114/lustrec-1.5-Xia-Shao-Kang-src.tgz"
42
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/117/lustrec-1.6-Xia-Zhu-src.tgz"
43 43
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
44 44
}

Also available in: Unified diff