anil.recoil.org / opam-repository
this repo has no description
fork atom

Merge pull request #27484 from shonfeder/unisim_archisec-ocaml-dep

Add missing ocaml dependency to unisim_archisec

Raphaël Proust 3a1a2e9c 983ff3de

options
unified split
Changed files
+1
packages
unisim_archisec
unisim_archisec.0.0.10
opam
+1
packages/unisim_archisec/unisim_archisec.0.0.10/opam 
···

       
12

       
12

       
 

       
homepage: "https://binsec.github.io"


     

       
13

       
13

       
 

       
bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"


     

       
14

       
14

       
 

       
depends: [


     

       

       
15

       
+

       
  "ocaml" {>= "4.08"}


     

       
15

       
16

       
 

       
  "dune" {>= "3.0"}


     

       
16

       
17

       
 

       
  "conf-gcc" {build}


     

       
17

       
18

       
 

       
  "conf-g++" {build}