commit 482a475481cf7a5530ec9dbd07e6940619d5d345 · anil.recoil.org/opam-repository

+1

packages/mlgmpidl/mlgmpidl.1.2.12/opam

···

       25
       25
        
         "apron" {= "20140725"}

     

       26
       26
        
         "apron" {= "20150518"}

     

       27
       27
        
       ]

     

       28
       28
       +
       available: (os != "macos" | arch != "arm64")

     

       28
       29
        
       synopsis: "OCaml interface to the GMP library"

     

       29
       30
        
       url {

     

       30
       31
        
         src: "https://github.com/nberth/mlgmpidl/archive/1.2.12.tar.gz"

+1

packages/mlgmpidl/mlgmpidl.1.2.13/opam

···

       25
       25
        
         "apron" {= "20140725"}

     

       26
       26
        
         "apron" {= "20150518"}

     

       27
       27
        
       ]

     

       28
       28
       +
       available: (os != "macos" | arch != "arm64")

     

       28
       29
        
       synopsis: "OCaml interface to the GMP library"

     

       29
       30
        
       url {

     

       30
       31
        
         src: "https://github.com/nberth/mlgmpidl/archive/1.2.13.tar.gz"

+1

packages/mlgmpidl/mlgmpidl.1.2.14/opam

···

       25
       25
        
         "apron" {= "20140725"}

     

       26
       26
        
         "apron" {= "20150518"}

     

       27
       27
        
       ]

     

       28
       28
       +
       available: (os != "macos" | arch != "arm64")

     

       28
       29
        
       synopsis: "OCaml interface to the GMP library"

     

       29
       30
        
       url {

     

       30
       31
        
         src: "https://github.com/nberth/mlgmpidl/archive/1.2.14.tar.gz"