Search results

Opam: remove <4.11.0 requirement for running opam --with-test

Status: Merged (completed).

c-cube/ocaml-qbfnumber 11

#11 In c-cube/ocaml-qbf;

· by maelvls was closed on Jan 20, 2021

publish 0.3 to opam + tag 0.3

Status: Closed (completed).

#10 In c-cube/ocaml-qbf;

· by maelvls was closed on Jan 20, 2021

Move to Github Actions

Status: Merged (completed).

c-cube/ocaml-qbfnumber 9

#9 In c-cube/ocaml-qbf;

· by maelvls was closed on Jan 10, 2021

opam: convert from 1.2 to 2.0 format

Status: Closed (abandoned).

c-cube/ocaml-qbfnumber 8

#8 In c-cube/ocaml-qbf;

· by maelvls was closed on Jan 1, 2019

WIP: Move from oasis to dune

Status: Merged (completed).

c-cube/ocaml-qbfnumber 7

#7 In c-cube/ocaml-qbf;

· by maelvls was closed on Jan 8, 2021

random-generator gone from opam?

Status: Open.

#6 In c-cube/ocaml-qbf;

· maelvls opened on Dec 28, 2018

Make it cygwin64 compatible

Status: Closed (completed).

#5 In c-cube/ocaml-qbf;

· by maelvls was closed on Jan 10, 2021

On macos, depqbf gives a Dl error

Status: Closed (abandoned).

c-cube/ocaml-qbfnumber 4

#4 In c-cube/ocaml-qbf;

· by maelvls was closed on Jan 10, 2021

Fix missing <sys/unistd.h> on Alpine 3.3

Status: Merged (completed).

c-cube/ocaml-qbfnumber 3

#3 In c-cube/ocaml-qbf;

· by maelvls was closed on Jun 9, 2017

Fix a regression bug created in quantor's configure

Status: Merged (completed).

c-cube/ocaml-qbfnumber 2

#2 In c-cube/ocaml-qbf;

· by maelvls was closed on Jun 9, 2017

Enable mingw and macos build

Status: Merged (completed).

c-cube/ocaml-qbfnumber 1

#1 In c-cube/ocaml-qbf;

· by maelvls was closed on Jun 6, 2017