1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
psmt2-frontend (0.4.0-4) unstable; urgency=medium
* Team upload
* Do not hardcode /usr/lib/ocaml
-- Stéphane Glondu <glondu@debian.org> Sat, 03 Aug 2024 14:40:00 +0200
psmt2-frontend (0.4.0-3) unstable; urgency=medium
* Team upload
* Use ocaml_dune DH buildsystem
-- Stéphane Glondu <glondu@debian.org> Thu, 17 Aug 2023 09:29:55 +0200
psmt2-frontend (0.4.0-2) unstable; urgency=medium
* Team upload
* Fix build with recent dune
-- Stéphane Glondu <glondu@debian.org> Sun, 16 Jul 2023 08:22:10 +0200
psmt2-frontend (0.4.0-1) unstable; urgency=medium
* Initial release. (Closes: #1009116)
-- Julien Puydt <jpuydt@debian.org> Mon, 18 Apr 2022 16:38:48 +0200
|
