Commits · master · Debian OCaml Maintainers / why3

03 May, 2022 2 commits
- test why3+z3: drop preliminary test of z3 · 42796c11
  Ralf Treinen authored May 03, 2022
  
  42796c11
- bump dependency on z3 · 9aca109c
  Ralf Treinen authored May 03, 2022
  
  9aca109c
02 May, 2022 4 commits
- configure with option --disable-coq-libs · f337a283
  Ralf Treinen authored May 02, 2022
  
  f337a283
- updated patches · a3f6099a
  Ralf Treinen authored May 02, 2022
  
  a3f6099a
- Update upstream source from tag 'upstream/1.5.0' · ef2c1811
  Ralf Treinen authored May 02, 2022
```
Update to upstream version '1.5.0'
with Debian dir b2d2bb9166089a872deb0f04423ea39edd6988d4
```
  ef2c1811
- New upstream version 1.5.0 · 69c93f9f
  Ralf Treinen authored May 02, 2022
  
  69c93f9f
19 Mar, 2022 5 commits
- on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma · dbabf2ff
  Ralf Treinen authored Mar 19, 2022
  
  dbabf2ff
- upload to sid · 0064ceec
  Ralf Treinen authored Mar 19, 2022
  
  0064ceec
- close bug about missing graph.cmo · 86709886
  Ralf Treinen authored Mar 19, 2022
  
  86709886
- improve collection of exported units · b60c5257
  Ralf Treinen authored Mar 15, 2022
  
  b60c5257
- get rid of coq support · 12f250a0
  Ralf Treinen authored Mar 14, 2022
  
  12f250a0
14 Mar, 2022 4 commits
- patch ocamlgraph-cma: ocamlgraph does no longer produce graph.cmo · 8da2dadf
  Ralf Treinen authored Mar 14, 2022
  
  8da2dadf
- changed build-deb libcoq-ocaml-dev to libcoq-core-ocaml-dev · 7e56f9d3
  Ralf Treinen authored Mar 14, 2022
  
  7e56f9d3
- Update upstream source from tag 'upstream/1.4.1' · 18ec56ba
  Ralf Treinen authored Mar 14, 2022
```
Update to upstream version '1.4.1'
with Debian dir 43af1016f737c9c64b801cf9e88aefd3226d7a0c
```
  18ec56ba
- New upstream version 1.4.1 · 31bfabbb
  Ralf Treinen authored Mar 14, 2022
  
  31bfabbb
11 Dec, 2021 2 commits
- trailing white space · de013ba7
  Ralf Treinen authored Dec 11, 2021
  
  de013ba7
- upload to unstable · f3b6dff6
  Ralf Treinen authored Dec 11, 2021
  
  f3b6dff6
02 Dec, 2021 1 commit
- generation of d/control : drop architecture lpia · 68b662a9
  Ralf Treinen authored Dec 01, 2021
  
  68b662a9
01 Dec, 2021 3 commits
- changelog cosmetics · 9b644602
  Ralf Treinen authored Dec 01, 2021
  
  9b644602
- add d/upstream/metadata · 4a3a47e3
  Ralf Treinen authored Dec 01, 2021
  
  4a3a47e3
- update manpage · 2efbca8b
  Ralf Treinen authored Dec 01, 2021
  
  2efbca8b
30 Nov, 2021 1 commit
- use a debian/control.in · 00875d4d
  Ralf Treinen authored Nov 30, 2021
  
  00875d4d
25 Nov, 2021 1 commit
- update recommends and test dependencies on cvc4 and z3 · 4e500852
  Ralf Treinen authored Nov 25, 2021
  
  4e500852
24 Nov, 2021 2 commits
- Update changelog and prepare upload to unstable · 02238e23
  Stephane Glondu authored Nov 24, 2021
  
  02238e23
- Fix autopkgtests · 5893051b
  Stephane Glondu authored Nov 24, 2021
  
  5893051b
23 Nov, 2021 8 commits
- Update changelog and prepare upload to unstable · abfa9a14
  Stephane Glondu authored Nov 23, 2021
  
  abfa9a14
- Update packaging · 19f67cc2
  Stephane Glondu authored Nov 23, 2021
  
  19f67cc2
- Add support for Coq 8.14 · af473a65
  Stephane Glondu authored Nov 23, 2021
  
  af473a65
- Refresh patches · 3f88d14b
  Stephane Glondu authored Nov 23, 2021
  
  3f88d14b
- New upstream release · 0d2cfdc8
  Stephane Glondu authored Nov 23, 2021
  
  0d2cfdc8
- Update upstream source from tag 'upstream/1.4.0' · 0fe61915
  Stephane Glondu authored Nov 23, 2021
```
Update to upstream version '1.4.0'
with Debian dir b3a5e7b817a6ed2aa12e3d7ea98b75e76e3018e3
```
  0fe61915
- New upstream version 1.4.0 · f5f1014f
  Stephane Glondu authored Nov 23, 2021
  
  f5f1014f
- Update debian/watch · 8f80f3f2
  Stephane Glondu authored Nov 23, 2021
  
  8f80f3f2
26 Oct, 2021 3 commits
- Reupload to sid · 8fac6214
  Gianfranco Costamagna authored Oct 26, 2021
  
  8fac6214
- Add new tex-gyre dependency, useful to fix a build failure on pdflatex doc... · 46cce7db
  Gianfranco Costamagna authored Oct 26, 2021
```
Add new tex-gyre dependency, useful to fix a build failure on pdflatex doc generation, Thanks <bunk> for the hint and patch!
```
  46cce7db
- Add two upstream patches to fix a build failure with new sphinx-bibtex (Closes: #995603) · bd3dd90b
  Gianfranco Costamagna authored Oct 26, 2021
  
  bd3dd90b
16 Sep, 2021 1 commit
- debian/watch: format version 4 · 4aaa1af1
  Ralf Treinen authored Sep 16, 2021
  
  4aaa1af1
23 Sep, 2020 3 commits
- put version constraint on dependency cvc4 · b920aa73
  Ralf Treinen authored Sep 23, 2020
  
  b920aa73
- drop patch coq8.12 · 9a963359
  Ralf Treinen authored Sep 23, 2020
  
  9a963359
- Update upstream source from tag 'upstream/1.3.3' · 4ffac80f
  Ralf Treinen authored Sep 23, 2020
```
Update to upstream version '1.3.3'
with Debian dir f8c9dd9e8594bbaf218574f7677d6289f3ade37a
```
  4ffac80f