debian-ocaml-maint Jun 2025 by date

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

---

Jun 01

• Processed: Embeds BLAKE3 C implementation, should use libblake3-dev when it becomes available Debian Bug Tracking System

Jun 09

• Bug#1103008: 1103008 ocaml: FTBFS on arm64: test_dropped_events.ml flaky Paul Gevers
• Processed: Re: 1103008 ocaml: FTBFS on arm64: test_dropped_events.ml flaky Debian Bug Tracking System

Jun 10

• Bug#890609: marked as done (ocaml-native-compilers: Generates invalid assembly for arm64 when building hhvm) Debian Bug Tracking System
• Processed: Bug#1103008 marked as pending in ocaml Debian Bug Tracking System
• Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Stéphane Glondu

Jun 12

• ocaml_5.3.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 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) Debian Bug Tracking System
• Bug#1103008: marked as done (ocaml: FTBFS on arm64: test_dropped_events.ml flaky) Debian Bug Tracking System
• [Git][ocaml-team/ocaml][debian/sid] Prepare upload to unstable Stéphane Glondu (@glondu)
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.3.0-3 Stéphane Glondu (@glondu)
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-3 Stéphane Glondu (@glondu)
• Processing of ocaml_5.3.0-3_source.changes Debian FTP Masters

Jun 13

• Bug#1107762: hol-light: please stop Suggesting the old & remove "python" (= Python2) Alexandre Detiste

Jun 14

• Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Sebastian Ramacher
• Processed: Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Debian Bug Tracking System
• Processed: Re: Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Debian Bug Tracking System
• Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Sebastian Ramacher

Jun 15

• Bug#1107826: coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000 Adrian Bunk
• Bug#1107829: coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000) Yue Gui
• Processed: forcibly merging 1107826 1107829 Debian Bug Tracking System

Jun 17

• Processed: uploaded to sid Debian Bug Tracking System
• Bug#1107826: uploaded to sid Gianfranco Costamagna
• coq-elpi_2.5.0-1.1_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1107826: marked as done (coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000) Debian Bug Tracking System
• Bug#1107829: marked as done (coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000)) Debian Bug Tracking System
• Processing of coq-elpi_2.5.0-1.1_source.changes Debian FTP Masters
• Re: unblock (pre-approval): ocaml/5.3.0-3 Stéphane Glondu
• Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Sebastian Ramacher
• Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Santiago Vila

Jun 18

• Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Stéphane Glondu

Jun 24

• lem_2025-03-13+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 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) Debian Bug Tracking System

Jun 25

• Processing of lem_2025-03-13+dfsg-1_source.changes Debian FTP Masters
• lem_2025-03-13+dfsg-1_source.changes REJECTED Debian FTP Masters

Jun 26

• 研究：使用牙线可以预防中风 Hand Tong

Jun 27

• Bug#1108394: Package is missing fsmonitor Damian

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]