-
4bcdaadc
by Julien Puydt at 2023-06-19T15:44:28+02:00
Fix d/watch
-
0fb7293e
by Julien Puydt at 2023-06-19T15:46:02+02:00
New upstream version 3.8.2
-
829e831b
by Julien Puydt at 2023-06-19T15:46:11+02:00
Update upstream source from tag 'upstream/3.8.2'
Update to upstream version '3.8.2'
with Debian dir c1b145320264c4865f76f22e65bb0e69884eb7df
-
8e42ec23
by Julien Puydt at 2023-06-19T15:47:01+02:00
Drop transitional dune package (Closes: #1038290)
-
0ec3d3a8
by Julien Puydt at 2023-06-19T16:26:48+02:00
Bump standards-version to 4.6.2
-
777d0a82
by Julien Puydt at 2023-06-19T16:27:21+02:00
Package new upstream 3.8.2
-
1a3f2520
by Julien Puydt at 2023-06-19T16:28:54+02:00
Adapt to new location of bootstrap.ml
-
2adafc69
by Julien Puydt at 2023-06-21T16:50:23+02:00
Adapt the building rule to the new system