Commits · master · Debian OCaml Maintainers / coq-equations · GitLab

Snippets Groups Projects

Nov 20, 2024
- Prepare for upload · 09a67cc8
  Julien Puydt authored 5 months ago
  
  View commits for tag debian/1.3.1-8.20-1 debian/1.3.1-8.20-1
  
  09a67cc8
Sep 18, 2024
- Package new upstream 1.3.1+8.20 · 24bcf61d
  Julien Puydt authored 7 months ago
  
  24bcf61d
Sep 16, 2024
- Package new upstream 1.3-8.20 · 9e79768f
  Julien Puydt authored 7 months ago
  
  9e79768f
- Update upstream source from tag 'upstream/1.3.1-8.20' · d987c85a
  Julien Puydt authored 7 months ago
  
  Update to upstream version '1.3.1-8.20' with Debian dir fde1f77722a246e9f1db0a1953ec5e04917bc5bb
  d987c85a
- New upstream version 1.3.1-8.20 · 38023797
  Julien Puydt authored 7 months ago
  
  View commits for tag upstream/1.3.1-8.20 upstream/1.3.1-8.20
  
  38023797
Aug 04, 2024
- Prepare upload to unstable · a7a78ea5
  Stéphane Glondu authored 8 months ago
  
  View commits for tag debian/1.3-8.19-2 debian/1.3-8.19-2
  
  a7a78ea5
- Update changelog · 6243b1a7
  Stéphane Glondu authored 8 months ago
  
  6243b1a7
- Do not hardcode /usr/lib/ocaml · 21b514be
  Stéphane Glondu authored 8 months ago
  
  21b514be
Feb 24, 2024
- Prepare for upload · d81a6357
  Julien Puydt authored 1 year ago
  
  View commits for tag debian/1.3-8.19-1 debian/1.3-8.19-1
  
  d81a6357
- Package new upstream 1.3-8.19 · e2627dfb
  Julien Puydt authored 1 year ago
  
  e2627dfb
- Update upstream source from tag 'upstream/1.3-8.19' · 33d26a51
  Julien Puydt authored 1 year ago
  
  Update to upstream version '1.3-8.19' with Debian dir 7311d17d7c70deb759711cc9a8613c2148ae6fb4
  33d26a51
- New upstream version 1.3-8.19 · dba284c3
  Julien Puydt authored 1 year ago
  
  View commits for tag upstream/1.3-8.19 upstream/1.3-8.19
  
  dba284c3
Dec 21, 2023
- Prepare for upload · 3328a914
  Julien Puydt authored 1 year ago
  
  View commits for tag debian/1.3-8.18-1 debian/1.3-8.18-1
  
  3328a914
Sep 27, 2023
- Package new upstream 1.3-8.18 · d71904ed
  Julien Puydt authored 1 year ago
  
  d71904ed
- Update upstream source from tag 'upstream/1.3-8.18' · 55a2c9e1
  Julien Puydt authored 1 year ago
  
  Update to upstream version '1.3-8.18' with Debian dir 9ac6546fe911e1cdb0ccc0478267fb713032b18f
  55a2c9e1
- New upstream version 1.3-8.18 · b29d4d56
  Julien Puydt authored 1 year ago
  
  View commits for tag upstream/1.3-8.18 upstream/1.3-8.18
  
  b29d4d56
Sep 01, 2023
- Prepare for upload · a3a28cdd
  Julien Puydt authored 1 year ago
  
  View commits for tag debian/1.3-8.17-2 debian/1.3-8.17-2
  
  a3a28cdd
Aug 18, 2023
- Fix d/rules clean target (Closes: #1044207) · fdc09677
  Julien Puydt authored 1 year ago
  
  fdc09677
Jun 13, 2023
- Prepare for upload · c01c6bf4
  Julien Puydt authored 1 year ago
  
  View commits for tag debian/1.3-8.17-1 debian/1.3-8.17-1
  
  c01c6bf4
Jun 11, 2023
- Avoid nested examples directory · a6dac8a3
  Julien Puydt authored 1 year ago
  
  a6dac8a3
- Add lintian overrides for false positives · 69324956
  Julien Puydt authored 1 year ago
  
  69324956
- Bump standards-version to 4.6.2 · b020895c
  Julien Puydt authored 1 year ago
  
  b020895c
Jun 08, 2023
- Package new upstream 1.3-8.17 · 5d83ef5b
  Julien Puydt authored 1 year ago
  
  5d83ef5b
- Update upstream source from tag 'upstream/1.3-8.17' · 942c10af
  Julien Puydt authored 1 year ago
  
  Update to upstream version '1.3-8.17' with Debian dir 2a2bda344795b4a15104d6b9b6501265c7decd62
  942c10af
- New upstream version 1.3-8.17 · f15b6e8d
  Julien Puydt authored 1 year ago
  
  View commits for tag upstream/1.3-8.17 upstream/1.3-8.17
  
  f15b6e8d
Jan 25, 2023
- Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · 91107da4
  Julien Puydt authored 2 years ago
  
  View commits for tag debian/1.3-8.16-2 debian/1.3-8.16-2
  
  91107da4
Aug 22, 2022
- Prepare for upload · fac22fba
  Julien Puydt authored 2 years ago
  
  View commits for tag debian/1.3-8.16-1 debian/1.3-8.16-1
  
  fac22fba
- Package new upstream 1.3-8.16 · 001ec7c8
  Julien Puydt authored 2 years ago
  
  001ec7c8
- Update upstream source from tag 'upstream/1.3-8.16' · ef8d38b5
  Julien Puydt authored 2 years ago
  
  Update to upstream version '1.3-8.16' with Debian dir 162558eec14d4dae295dffe2a35230000bf50d49
  ef8d38b5
- New upstream version 1.3-8.16 · 73b7a0d5
  Julien Puydt authored 2 years ago
  
  View commits for tag upstream/1.3-8.16 upstream/1.3-8.16
  
  73b7a0d5
Jul 14, 2022
- Prepare for upload · 59bc2f1e
  Julien Puydt authored 2 years ago
  
  View commits for tag debian/1.3-8.15-2 debian/1.3-8.15-2
  
  59bc2f1e
- Add hott support now it's in Debian · a9c5af29
  Julien Puydt authored 2 years ago
  
  a9c5af29
- Complete d/copyright · 3a07d2db
  Julien Puydt authored 2 years ago
  
  3a07d2db
Jul 08, 2022
- Initial packaging · c48d060b
  Julien Puydt authored 2 years ago
  
  View commits for tag debian/1.3-8.15-1 debian/1.3-8.15-1
  
  c48d060b
Jun 27, 2022
- New upstream version 1.3-8.15 · 5cda6c24
  Julien Puydt authored 2 years ago
  
  View commits for tag upstream/1.3-8.15 upstream/1.3-8.15
  
  5cda6c24