debian-ocaml-maint Jun 2025 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
研究：使用牙线可以预防中风
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.3.0-3
[Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-3
[Git][ocaml-team/ocaml][debian/sid] Prepare upload to unstable
Bug#1101353: marked as done (ocaml: FTBFS: List of failed tests: tests/memory-model/forbidden.ml tests/memory-model/publish.ml tests/parallel/pingpong.ml)
Bug#1103008: 1103008 ocaml: FTBFS on arm64: test_dropped_events.ml flaky
Bug#1103008: marked as done (ocaml: FTBFS on arm64: test_dropped_events.ml flaky)
Bug#1105410: marked as done (lem: FTBFS with make --shuffle=reverse: make[1]: *** [debian/rules:23: execute_after_dh_auto_install] Error 127 shuffle=reverse)
Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3
Bug#1107762: hol-light: please stop Suggesting the old & remove "python" (= Python2)
Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status.
Bug#1107826: coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000
Bug#1107826: marked as done (coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000)
Bug#1107826: uploaded to sid
Bug#1107829: coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000)
Bug#1107829: marked as done (coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000))
Bug#1108394: Package is missing fsmonitor
Bug#890609: marked as done (ocaml-native-compilers: Generates invalid assembly for arm64 when building hhvm)
coq-elpi_2.5.0-1.1_source.changes ACCEPTED into unstable
lem_2025-03-13+dfsg-1_source.changes ACCEPTED into unstable
lem_2025-03-13+dfsg-1_source.changes REJECTED
ocaml_5.3.0-3_source.changes ACCEPTED into unstable
Processed: Bug#1103008 marked as pending in ocaml
Processed: Embeds BLAKE3 C implementation, should use libblake3-dev when it becomes available
Processed: forcibly merging 1107826 1107829
Processed: Re: 1103008 ocaml: FTBFS on arm64: test_dropped_events.ml flaky
Processed: Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3
Processed: Re: Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status.
Processed: uploaded to sid
Processing of coq-elpi_2.5.0-1.1_source.changes
Processing of lem_2025-03-13+dfsg-1_source.changes
Processing of ocaml_5.3.0-3_source.changes
Re: unblock (pre-approval): ocaml/5.3.0-3
The last update was on 15:00 GMT Fri Jun 27. There are 37 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
