Search results

[new release] qbf (0.3)

consider for merge

Status: Merged (completed).

ocaml/opam-repositorynumber 17956

#17956 In ocaml/opam-repository;

· by maelvls was closed on Jan 13, 2021

Package touist.3.5.0

Status: Merged (completed).

ocaml/opam-repositorynumber 10872

#10872 In ocaml/opam-repository;

· by maelvls was closed on Dec 9, 2017

Package touist.3.4.1

Status: Merged (completed).

ocaml/opam-repositorynumber 10604

#10604 In ocaml/opam-repository;

· by maelvls was closed on Nov 9, 2017

Package touist.3.4.0

Status: Merged (completed).

ocaml/opam-repositorynumber 10263

#10263 In ocaml/opam-repository;

· by maelvls was closed on Sep 14, 2017

touist.3.2.1 - via opam-publish

Status: Merged (completed).

ocaml/opam-repositorynumber 9612

#9612 In ocaml/opam-repository;

· by maelvls was closed on Jun 23, 2017

touist.3.2.0 - via opam-publish

Status: Merged (completed).

ocaml/opam-repositorynumber 9495

#9495 In ocaml/opam-repository;

· by maelvls was closed on Jun 14, 2017

qbf.0.2 - via opam-publish

Status: Merged (completed).

ocaml/opam-repositorynumber 9452

#9452 In ocaml/opam-repository;

· by maelvls was closed on Jun 11, 2017

touist.3.1.0 - via opam-publish

Status: Merged (completed).

ocaml/opam-repositorynumber 9120

#9120 In ocaml/opam-repository;

· by maelvls was closed on May 11, 2017

(can be published) yices2.0.0.3 - via opam-publish

Status: Merged (completed).

ocaml/opam-repositorynumber 9106

#9106 In ocaml/opam-repository;

· by maelvls was closed on May 8, 2017

yices2.0.0.2 - via opam-publish

Status: Merged (completed).

ocaml/opam-repositorynumber 9086

#9086 In ocaml/opam-repository;

· by maelvls was closed on May 5, 2017

touist.3.0.0 - via opam-publish

Status: Merged (completed).

ocaml/opam-repositorynumber 8830

#8830 In ocaml/opam-repository;

· by maelvls was closed on Mar 29, 2017