Revision a01cb3a9
Added by Pierre-Loïc Garoche almost 6 years ago
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
New archive for 1.6