···

       
17
       
 
       
synopsis:

     

       
18
       
 
       
  "Nit, a static analysis tool, checks whether a java bytecode program is NullPointerException free."

     

       
19
       
 
       
url {

     

       
20
       
-
       
  src: "https://gforge.inria.fr/frs/download.php/33093/nit-0.6.tar.bz2"

     

       
21
       
 
       
  checksum: "md5=2a20cb66fc4d29a1f1af5884e4c25fb5"

     

       
22
       
 
       
}

     

···

       
17
       
 
       
synopsis:

     

       
18
       
 
       
  "Nit, a static analysis tool, checks whether a java bytecode program is NullPointerException free."

     

       
19
       
 
       
url {

     

       
20
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/nit-0.6.tar.bz2"

     

       
21
       
 
       
  checksum: "md5=2a20cb66fc4d29a1f1af5884e4c25fb5"

     

       
22
       
 
       
}

     

···

       
45
       
 
       
formal verification."""

     

       
46
       
 
       
extra-files: ["fix-makefile.diff" "md5=4d6c16c0d8c001c09afd8d9ddb8493f0"]

     

       
47
       
 
       
url {

     

       
48
       
-
       
  src: "https://gforge.inria.fr/frs/download.php/32084/tplib-1.3.tar.gz"

     

       
49
       
 
       
  checksum: "md5=861bde89a6790b78474c5578f821aea4"

     

       
50
       
 
       
}

     

···

       
45
       
 
       
formal verification."""

     

       
46
       
 
       
extra-files: ["fix-makefile.diff" "md5=4d6c16c0d8c001c09afd8d9ddb8493f0"]

     

       
47
       
 
       
url {

     

       
48
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/tplib-1.3.tar.gz"

     

       
49
       
 
       
  checksum: "md5=861bde89a6790b78474c5578f821aea4"

     

       
50
       
 
       
}