Project

General

Profile

« Previous | Next » 

Revision a01cb3a9

Added by Pierre-Loïc Garoche almost 6 years ago

New archive for 1.6

View differences:

opam.in
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