commit e77ebb801052d9bcb8dced9b45986880d9d3ca36 · anil.recoil.org/opam-repository

+1 -2

packages/aws-config/aws-config.0.0.1/opam

···

       13
       13
        
         "yojson" {>= "1.6.0"}

     

       14
       14
        
         "logs"

     

       15
       15
        
       ]

     

       16
       16
       -
       build: ["dune" "build" "-j" jobs "-p" "aws-config"]

     

       17
       17
       -
       install: ["dune" "build" "--release" "@install"]

     

       16
       16
       +
       build: ["dune" "build" "-j" jobs "-p" name "@install"]

     

       18
       17
        
       url {

     

       19
       18
        
         src: "https://github.com/Nymphium/aws-config/archive/0.0.1.tar.gz"

     

       20
       19
        
         checksum: [

+1 -1

packages/frama-c/frama-c.26.0/opam

···

       86
       86
        
       ]

     

       87
       87
        
       

     

       88
       88
        
       build: [

     

       89
       89
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"]

     

       89
       89
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"]

     

       90
       90
        
         [make "-C" "doc" "download"] {with-doc}

     

       91
       91
        
       ]

     

       92
       92

+1 -1

packages/frama-c/frama-c.26.0~beta/opam

···

       88
       88
        
       ]

     

       89
       89
        
       

     

       90
       90
        
       build: [

     

       91
       91
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"]

     

       91
       91
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"]

     

       92
       92
        
         [make "-C" "doc" "download"] {with-doc}

     

       93
       93
        
       ]

     

       94
       94

+1 -1

packages/frama-c/frama-c.26.1/opam

···

       87
       87
        
       

     

       88
       88
        
       build: [

     

       89
       89
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       90
       90
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"]

     

       90
       90
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"]

     

       91
       91
        
         [make "-C" "doc" "download"] {with-doc}

     

       92
       92
        
       ]

     

       93
       93

+1 -1

packages/frama-c/frama-c.27.0/opam

···

       88
       88
        
       

     

       89
       89
        
       build: [

     

       90
       90
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       91
       91
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       91
       91
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       92
       92
        
          "@install"

     

       93
       93
        
          "@doc" { with-doc }

     

       94
       94
        
         ]

+1 -1

packages/frama-c/frama-c.27.0~beta/opam

···

       90
       90
        
       

     

       91
       91
        
       build: [

     

       92
       92
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       93
       93
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false" "@install"]

     

       93
       93
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false" "@install"]

     

       94
       94
        
         [make "-C" "doc" "download"] {with-doc}

     

       95
       95
        
       ]

     

       96
       96

+1 -1

packages/frama-c/frama-c.27.1/opam

···

       88
       88
        
       

     

       89
       89
        
       build: [

     

       90
       90
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       91
       91
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       91
       91
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       92
       92
        
          "@install"

     

       93
       93
        
          "@doc" { with-doc }

     

       94
       94
        
         ]

+1 -1

packages/frama-c/frama-c.28.0/opam

···

       91
       91
        
       build: [

     

       92
       92
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       93
       93
        
         ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }

     

       94
       94
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       94
       94
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       95
       95
        
          "@install"

     

       96
       96
        
          "@doc" { with-doc }

     

       97
       97
        
         ]

+1 -1

packages/frama-c/frama-c.28.0~beta/opam

···

       93
       93
        
       build: [

     

       94
       94
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       95
       95
        
         ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }

     

       96
       96
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       96
       96
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       97
       97
        
          "@install"

     

       98
       98
        
          "@doc" { with-doc }

     

       99
       99
        
         ]

+1 -1

packages/frama-c/frama-c.28.1/opam

···

       91
       91
        
       build: [

     

       92
       92
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       93
       93
        
         ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }

     

       94
       94
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       94
       94
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       95
       95
        
          "@install"

     

       96
       96
        
          "@doc" { with-doc }

     

       97
       97
        
         ]

+1 -1

packages/frama-c/frama-c.29.0/opam

···

       94
       94
        
       build: [

     

       95
       95
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       96
       96
        
         ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }

     

       97
       97
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       97
       97
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       98
       98
        
          "@install"

     

       99
       99
        
          "@doc" { with-doc }

     

       100
       100
        
         ]

+1 -1

packages/frama-c/frama-c.29.0~beta/opam

···

       96
       96
        
       build: [

     

       97
       97
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       98
       98
        
         ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }

     

       99
       99
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       99
       99
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       100
       100
        
          "@install"

     

       101
       101
        
          "@doc" { with-doc }

     

       102
       102
        
         ]

+1 -1

packages/frama-c/frama-c.30.0/opam

···

       96
       96
        
       build: [

     

       97
       97
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       98
       98
        
         ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }

     

       99
       99
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       99
       99
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       100
       100
        
          "@install"

     

       101
       101
        
          "@doc" { with-doc }

     

       102
       102
        
         ]

+1 -1

packages/frama-c/frama-c.30.0~beta/opam

···

       98
       98
        
       build: [

     

       99
       99
        
         ["bash" "dev/disable-plugins.sh" "e-acsl"] { os-family = "windows" }

     

       100
       100
        
         ["bash" "dev/disable-plugins.sh" "gui"] { os = "macos" }

     

       101
       101
       -
         ["dune" "build" "-j%{jobs}%" "--release" "--promote-install-files=false"

     

       101
       101
       +
         ["dune" "build" "-j%{jobs}%" "-p" name "--promote-install-files=false"

     

       102
       102
        
          "@install"

     

       103
       103
        
          "@doc" { with-doc }

     

       104
       104
        
         ]

+1 -1

packages/opsian/opsian.0.1/opam

···

       21
       21
        
       available:

     

       22
       22
        
         arch != "arm32" & arch != "arm64" & arch != "x86_32" & arch != "s390x" & arch != "ppc64" & arch != "riscv64" &

     

       23
       23
        
         os-family != "arch" & os-family != "alpine" & os != "macos" & os != "freebsd"

     

       24
       24
       -
       build: ["dune" "build" "--release" "-j" jobs]

     

       24
       24
       +
       build: ["dune" "build" "-p" name "-j" jobs "@install"]

     

       25
       25
        
       dev-repo: "git+https://github.com/Opsian/opsian-ocaml.git"

     

       26
       26
        
       url {

     

       27
       27
        
         src: