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

Configure Feed

Select the types of activity you want to include in your feed.

New OSDP version 1.1.0 (#20711)

* New OSDP version 1.1.0

* Remove csdp depext for Centos

The package doesn't seem to exist

* conf-csdp: add rpm based depext

* Update packages/conf-csdp/conf-csdp.1/opam

* Update license of conf-csdp.1 to be SPDX compliant

Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>
Co-authored-by: Calascibetta Romain <romain.calascibetta@gmail.com>

authored by

Pierre Roux
Marcello Seri
Calascibetta Romain and committed by
GitHub c353c5ad bdc79fae

+36 -1
+3 -1
packages/conf-csdp/conf-csdp.1/opam
··· 1 1 opam-version: "2.0" 2 2 maintainer: "Pierre Roux" 3 3 authors: "CSDP" 4 + license: "CPL-1.0" 4 5 homepage: "https://github.com/coin-or/Csdp/wiki" 5 6 build: ["sh" "-exc" "command -v csdp"] 6 7 depexts: [ 7 8 ["coinor-csdp"] {os-family = "debian"} 8 - ["csdp"] {os-distribution = "centos"} 9 + ["csdp-tools"] {os-distribution = "centos" | os-distribution = "fedora" | os-distribution = "ol"} 10 + ["coin-or-csdp"] {os-distribution = "archlinux"} 9 11 ] 10 12 synopsis: "Virtual package relying on a CSDP binary system installation" 11 13 description:
+33
packages/osdp/osdp.1.1.0/opam
··· 1 + opam-version: "2.0" 2 + maintainer: "Pierre Roux" 3 + author: "Pierre Roux <pierre.roux@onera.fr>" 4 + homepage: "https://github.com/Embedded-SW-VnV/osdp" 5 + dev-repo: "git+https://github.com/Embedded-SW-VnV/osdp" 6 + bug-reports: "author" 7 + license: "LGPL-3.0-or-later" 8 + build: [ 9 + ["autoconf"] 10 + ["./configure"] 11 + [make] 12 + ] 13 + install: [make "install"] 14 + depends: [ 15 + "ocamlfind" {build} 16 + "ocamlbuild" {build} 17 + "conf-autoconf" {build} 18 + "zarith" {>= "1.4"} 19 + "ocplib-simplex" {= "0.4"} 20 + "conf-csdp" 21 + ] 22 + depopts: ["conf-sdpa"] 23 + synopsis: "OCaml Interface to SDP solvers" 24 + description: """ 25 + OSDP is an OCaml frontend library to semi-definite programming (SDP) 26 + numerical optimization solvers. This package will be installed with 27 + the solver CSDP. It will also be compiled with SDPA and Mosek support 28 + if they can be found in the PATH.""" 29 + url { 30 + src: 31 + "https://github.com/Embedded-SW-VnV/osdp/archive/refs/tags/v1.1.0.tar.gz" 32 + checksum: "sha512=4def6516b6af9f9af8e988a7bbe9af14ac25cea22ef93fd05a485b50e1ac7198498f34100880fbef41819ccdbda231aeff475dfa7fade81885da9a3fe94837d9" 33 + }