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

Mark karamel and kremlin.transition as conflicting

Aymeric Fromherz f11aee0f 55d2a38a

options
unified split
Changed files
+2
packages
karamel
karamel.0.9.6.0
opam
karamel.1.0.0
opam
+1
packages/karamel/karamel.0.9.6.0/opam 
···

       
24

       
24

       
 

       
  "fstar" {>= "0.9.6.0"}


     

       
25

       
25

       
 

       
]


     

       
26

       
26

       
 

       
depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}


     

       

       
27

       
+

       
conflicts: "kremlin" {!= "transition"}


     

       
27

       
28

       
 

       
build: [


     

       
28

       
29

       
 

       
  [make "PREFIX=%{prefix}%"]


     

       
29

       
30

       
 

       
]
+1
packages/karamel/karamel.1.0.0/opam 
···

       
24

       
24

       
 

       
  "fstar" {= "2022.01.15"}


     

       
25

       
25

       
 

       
]


     

       
26

       
26

       
 

       
depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}


     

       

       
27

       
+

       
conflicts: "kremlin" {!= "transition"}


     

       
27

       
28

       
 

       
build: [


     

       
28

       
29

       
 

       
  [make "PREFIX=%{prefix}%"]


     

       
29

       
30

       
 

       
]