···

       
34
       
34
       
 
       
  "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6"

     

       
35
       
35
       
 
       
url {

     

       
36
       
36
       
 
       
  src:

     

       
37
       
37
       
-
       
    "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v6.107.1.tgz"

     

       
37
       
37
       
+
       
    "https://github.com/ocaml/opam-source-archives/raw/main/lustre-v6.v6.107.1.tgz"

     

       
38
       
38
       
 
       
  checksum: [

     

       
39
       
39
       
 
       
    "md5=4b642b106a76e19de3751afb53ccdcf4"

     

       
40
       
40
       
 
       
    "sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc"