Branches · Debian OCaml Maintainers / why3 · GitLab

Stale branches

experimental/upstream merged

46b1f294 · New upstream version 1.2.1 · Oct 28, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
experimental/master merged

dcf25940 · update build-deps (+ num) · Mar 08, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
upstream merged

69c93f9f · New upstream version 1.5.0 · May 02, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
pristine-tar

a7ae7b33 · pristine-tar data for why3_1.5.0.orig.tar.gz · May 02, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
master default protected

42796c11 · test why3+z3: drop preliminary test of z3 · May 03, 2022

Download source code

zip tar.gz tar.bz2 tar