debian-ocaml-maint Jun 2023 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Bug#1037277: advi: reproducible-builds: Embedded build path and usrmerge paths in example Makefile
Vagrant Cascadian
Bug#1037318: ben: Quiet mode does not suppress read_global_config output
Bas Couwenberg
[Git][ocaml-team/coq][master] 9 commits: New upstream version 8.17.0+dfsg
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag debian/8.17.0+dfsg-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][upstream] New upstream version 8.17.0+dfsg
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag upstream/8.17.0+dfsg
Julien Puydt (@jpuydt)
Processing of elpi_1.16.10-1_source.changes
Debian FTP Masters
Processing of coq_8.17.0+dfsg-1_source.changes
Debian FTP Masters
coq_8.17.0+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Accepted coq 8.17.0+dfsg-1 (source) into unstable
Debian FTP Masters
elpi_1.16.10-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/aac-tactics][master] 3 commits: Added lintian overrides for false issues
Julien Puydt (@jpuydt)
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.17.0-2
Julien Puydt (@jpuydt)
Processing of coq-record-update_0.3.2-1_source.changes
Debian FTP Masters
Processing of coq-reduction-effects_0.1.4-4_source.changes
Debian FTP Masters
Processing of coq-menhirlib_20220210+ds-5_source.changes
Debian FTP Masters
Processing of coq-libhyps_2.0.6-3_source.changes
Debian FTP Masters
Processing of coq-hammer_1.3.2+8.17-1_source.changes
Debian FTP Masters
Processing of coq-elpi_1.17.1-1_source.changes
Debian FTP Masters
Processing of coq-ext-lib_0.11.8-1_source.changes
Debian FTP Masters
Processing of coq-hott_8.17-1_source.changes
Debian FTP Masters
Processing of coq-unimath_20230420-1_source.changes
Debian FTP Masters
Processing of coq-stdpp_1.8.0-4_source.changes
Debian FTP Masters
Processing of coq-bignums_8.17.0-3_source.changes
Debian FTP Masters
Processing of aac-tactics_8.17.0-2_source.changes
Debian FTP Masters
Processing of coq-dpdgraph_1.0+8.17-1_source.changes
Debian FTP Masters
Processing of coq-unicoq_1.6-8.17-1_source.changes
Debian FTP Masters
Processing of paramcoq_1.1.3+coq8.17-1_source.changes
Debian FTP Masters
Processing of ott_0.33+ds-1_source.changes
Debian FTP Masters
Processing of flocq_4.1.1-1_source.changes
Debian FTP Masters
aac-tactics_8.17.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-bignums_8.17.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-dpdgraph_1.0+8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-elpi_1.17.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-ext-lib_0.11.8-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hammer_1.3.2+8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hott_8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-libhyps_2.0.6-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-menhirlib_20220210+ds-5_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-record-update_0.3.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reduction-effects_0.1.4-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-stdpp_1.8.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-unicoq_1.6-8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-unimath_20230420-1_source.changes ACCEPTED into unstable
Debian FTP Masters
flocq_4.1.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ott_0.33+ds-1_source.changes ACCEPTED into unstable
Debian FTP Masters
paramcoq_1.1.3+coq8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-math-classes_8.17.0-1_source.changes
Debian FTP Masters
Processing of coq-gappa_1.5.3-1_source.changes
Debian FTP Masters
Processing of coq-mtac2_1.4+8.17-1_source.changes
Debian FTP Masters
Processing of coq-hierarchy-builder_1.4.0-3_source.changes
Debian FTP Masters
Processing of coq-equations_1.3-8.17-1_source.changes
Debian FTP Masters
Processing of coq-iris_4.0.0-4_source.changes
Debian FTP Masters
Processing of coq-simple-io_1.8.0-3_source.changes
Debian FTP Masters
Processing of coqprime_8.17-1_source.changes
Debian FTP Masters
coq-equations_1.3-8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-gappa_1.5.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hierarchy-builder_1.4.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-iris_4.0.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-math-classes_8.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-mtac2_1.4+8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-simple-io_1.8.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coqprime_8.17-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1037512: why3: did not remove the /usr/share/emacs25/site-lisp/why3.el symlink on package removal
Vincent Lefevre
[Git][ocaml-team/ssreflect][master] 6 commits: Bump standards-version to 4.6.2
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][upstream] New upstream version 1.17.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.17.0-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag upstream/1.17.0
Julien Puydt (@jpuydt)
Processing of coq-corn_8.16.0-3_source.changes
Debian FTP Masters
Processing of ssreflect_1.17.0-1_source.changes
Debian FTP Masters
coq-corn_8.16.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
ssreflect_1.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-reglang_1.1.3-3_source.changes
Debian FTP Masters
Processing of mathcomp-finmap_1.5.2-2_source.changes
Debian FTP Masters
Processing of mathcomp-zify_1.3.0+1.12+8.13-1_source.changes
Debian FTP Masters
Processing of coq-deriving_0.1.1-1_source.changes
Debian FTP Masters
Processing of coq-relation-algebra_1.7.9-1_source.changes
Debian FTP Masters
Processing of mathcomp-bigenough_1.0.1-9_source.changes
Debian FTP Masters
Processing of coq-quickchick_2.0-1_source.changes
Debian FTP Masters
Processing of coquelicot_3.3.1-1_source.changes
Debian FTP Masters
coq-deriving_0.1.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-quickchick_2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reglang_1.1.3-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-relation-algebra_1.7.9-1_source.changes ACCEPTED into unstable
Debian FTP Masters
coquelicot_3.3.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-bigenough_1.0.1-9_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-finmap_1.5.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-zify_1.3.0+1.12+8.13-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Support for packaging an OCaml-based tool for Debian
Nik Sultana
Processing of mathcomp-multinomials_1.6.0-1_source.changes
Debian FTP Masters
Processing of coq-interval_4.7.0-1_source.changes
Debian FTP Masters
Processing of mathcomp-algebra-tactics_1.1.1-1_source.changes
Debian FTP Masters
Processing of mathcomp-analysis_0.6.2-1_source.changes
Debian FTP Masters
Processing of coq-extructures_0.3.1-4_source.changes
Debian FTP Masters
Processing of mathcomp-real-closed_1.1.4-1_source.changes
Debian FTP Masters
coq-extructures_0.3.1-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-interval_4.7.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-algebra-tactics_1.1.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-analysis_0.6.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-multinomials_1.6.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-real-closed_1.1.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1038076: ocamlsdl: Is a language binding for an obsolete version of SDL
Simon McVittie
Bug#1038077: freetennis: Depends on SDL 1.2
Simon McVittie
Bug#1038078: liquidsoap: Indirectly depends on SDL 1.2
Simon McVittie
Bug#1038228: please drop transitional package ocaml-mode from src:caml-mode
Holger Levsen
Bug#1038228: marked as done (please drop transitional package ocaml-mode from src:caml-mode)
Debian Bug Tracking System
Bug#1038228: marked as done (please drop transitional package ocaml-mode from src:caml-mode)
Debian Bug Tracking System
Bug#1038290: please drop transitional package dune from src:ocaml-dune
Holger Levsen
Bug#1038321: please drop transitional package tuareg-mode from src:tuareg-mode
Holger Levsen
Bug#1038382: coq: FTBFS: /bin/sh: Argument list too long
Sebastian Ramacher
Bug#1038382: marked as done (coq: FTBFS: /bin/sh: Argument list too long)
Debian Bug Tracking System
Processing of coq-unimath_20230420-2_source.changes
Debian FTP Masters
coq-unimath_20230420-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1038450: coq-unimath FTBFS on 32bit
Adrian Bunk
Bug#1038450: marked as done (coq-unimath FTBFS on 32bit)
Debian Bug Tracking System
Bug#1038450: patch probably available
Adrien Nader
Bug#1038450: patch probably available
julien . puydt
Bug#1038450: patch probably available
Adrien Nader
Bug#1038450: patch probably available
julien . puydt
Bug#1038450: patch probably available
Adrien Nader
Bug#1038450: patch probably available
julien . puydt
Bug#1011323: lablgtk2: Please remove the obsolete gtkgl/glarea component
Bastian Germann
Processing of lablgtk2_2.18.13-1.1_source.changes
Debian FTP Masters
Bug#1011323: marked as done (lablgtk2: Please remove the obsolete gtkgl/glarea component)
Debian Bug Tracking System
lablgtk2_2.18.13-1.1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of caml-mode_4.9-1_source.changes
Debian FTP Masters
caml-mode_4.9-1_source.changes ACCEPTED into experimental
Debian FTP Masters
Processing of caml-mode_4.9-2_source.changes
Debian FTP Masters
caml-mode_4.9-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Working on the ounit package - and finding a slew of new packages are needed...
julien . puydt
Re: Working on the ounit package - and finding a slew of new packages are needed...
Stéphane Glondu
Re: Working on the ounit package - and finding a slew of new packages are needed...
julien . puydt
Re: Working on the ounit package - and finding a slew of new packages are needed...
julien . puydt
Re: Working on the ounit package - and finding a slew of new packages are needed...
julien . puydt
Bug#1038672: mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment.
Adrian Bunk
Bug#1038672: marked as done (mathcomp-abel FTBFS: Error: The reference fact_smonotone was not found in the current environment.)
Debian Bug Tracking System
Bug#1038675: coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials.
Adrian Bunk
Bug#1038675: marked as done (coqeal FTBFS: Error: Cannot find a physical path bound to logical path mpoly with prefix SsrMultinomials.)
Debian Bug Tracking System
Bug#1038692: ITP: ppx-cold -- Provide the @cold annotation for OCaml
Julien Puydt
Processing of ppx-cold_0.16.0-1_source.changes
Debian FTP Masters
ppx-cold_0.16.0-1_source.changes REJECTED
Debian FTP Masters
Bug#1038695: mathcomp-multinomials: autopkgtest regression with coq 8.17.0
Adrian Bunk
Bug#1038695: marked as done (mathcomp-multinomials: autopkgtest regression with coq 8.17.0)
Debian Bug Tracking System
Processing of ppx-cold_0.16.0-1_amd64.changes
Debian FTP Masters
Processing of ppx-assert_0.16.0-1_amd64.changes
Debian FTP Masters
Processed: tagging 1038695
Debian Bug Tracking System
ppx-assert_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
ppx-cold_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
Processing of jane-street-headers_0.16.0-1_amd64.changes
Debian FTP Masters
Processing of mathcomp-multinomials_1.6.0-2_source.changes
Debian FTP Masters
Processing of mathcomp-abel_1.2.1-2_source.changes
Debian FTP Masters
Processing of coqeal_1.1.3-1_source.changes
Debian FTP Masters
coqeal_1.1.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
jane-street-headers_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
mathcomp-abel_1.2.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-multinomials_1.6.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-unimath_20230420-3_source.changes
Debian FTP Masters
coq-unimath_20230420-3_source.changes ACCEPTED into unstable
Debian FTP Masters
lists Brand & Advertising List
Julia Anderson
Processed: block 1038080 with 1038054 1038350 1038353 1038094 1038505 1038076 1038083 1037429 1038476 1038481 1038510 1038524 1038497 1038495
Debian Bug Tracking System
Processed: block 1038036 with 1038193 1038196 1038197 1038071 1038342 1038347 1038349 1038350 1038354 1038357 1038359 1038358 1038364 1038368 1038370 1038372 1038454 1038456 1038457 1038458 1038469 1038472 1038346 1038091 1038376 1038505 1038095 1038076 1038083 1038064 1038592 1037429 1038476 1038078 1038481 1038498 1038499 1038500 1038501 1038507 1038508
Debian Bug Tracking System
Processing of jst-config_0.16.0-1_amd64.changes
Debian FTP Masters
jst-config_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
Processing of ppx-enumerate_0.16.0-1_amd64.changes
Debian FTP Masters
ppx-enumerate_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
Processing of ppx-globalize_0.16.0-1_amd64.changes
Debian FTP Masters
Processing of ppx-base_0.16.0-1_amd64.changes
Debian FTP Masters
ppx-base_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
ppx-globalize_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
Processed: block 1038076 with 1038078 1038078
Debian Bug Tracking System
Processed: block 1038076 with 1038077
Debian Bug Tracking System
Processing of mathcomp-analysis_0.6.3-1_source.changes
Debian FTP Masters
Processing of ocaml-time-now_0.16.0-1_amd64.changes
Debian FTP Masters
mathcomp-analysis_0.6.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-time-now_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
Processing of ppx-inline-test_0.16.0-1_amd64.changes
Debian FTP Masters
Processing of ppx-hash_0.16.0-1_source.changes
Debian FTP Masters
ppx-hash_0.16.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-inline-test_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
Processing of ppx-expect_0.16.0-1_amd64.changes
Debian FTP Masters
Processing of ocaml-pp_1.1.2-1_amd64.changes
Debian FTP Masters
ocaml-pp_1.1.2-1_amd64.changes is NEW
Debian FTP Masters
ppx-expect_0.16.0-1_amd64.changes is NEW
Debian FTP Masters
[Git][ocaml-team/ocaml-dune][master] 8 commits: Fix d/watch
Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.8.2
Julien Puydt (@jpuydt)
jane-street-headers_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1038819: coq-unimath: Please re-enable support for riscv64
Aurelien Jarno
Bug#1038819: marked as done (coq-unimath: Please re-enable support for riscv64)
Debian Bug Tracking System
Processing of coq-unimath_20230420-4_source.changes
Debian FTP Masters
coq-unimath_20230420-4_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of dh-coq_0.6_source.changes
Debian FTP Masters
dh-coq_0.6_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1038869: jane-street-headers FTBFS on ocaml bytecode architectures
Adrian Bunk
Bug#1038869: marked as done (jane-street-headers FTBFS on ocaml bytecode architectures)
Debian Bug Tracking System
Processed: block 1038037 with 1038012 1038013 1038020 1038021 1038023 1038740 1038029 1038043 1038048 1038049 1038050 1038051 1038053 1038054 1038055 1038057 1038059 1038062 1038742 1038170 1038173 1038174 1038175 1038176 1038178 1038180 1038181 1038182 1038183 1038184 1038186 1038193 1038194 1038195 1038196 1038197 1038198 1038342 1038347 1038348 1038349 1038350 1038077 1038354 1038087 1038361 1038362 1038368 1038370 1038377 1038454 1038455 1038456 1038458 1038459 1038460 1038461 1038465 1038470 1038473 1038474 1038346 1038092 1038505 1038095 1038076 1038083 1038592 1037429 1038475 1038476 1038478 1038480 1038481 1038498 1038499 1038500 1038502 1038503 1038508 1038514 1038510
Debian Bug Tracking System
Processing of jane-street-headers_0.16.0-2_source.changes
Debian FTP Masters
jane-street-headers_0.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processed: block 1038070 with 1038023 1038051 1038054 1038057 1038059 1038175 1038034 1038193 1038194 1038195 1038197 1038071 1038342 1038353 1038354 1038359 1038358 1038364 1038370 1038372 1038454 1038093 1038457 1038458 1038505 1038076 1038083 1038095 1037429 1038476 1038078 1038481 1038507
Debian Bug Tracking System
Bug#913549: marked as done (ocamlbuild: new upstream release (0.13.1))
Debian Bug Tracking System
Bug#654405: marked as done (/usr/bin/ocamlbuild.native: ocamlbuild has undocumented preconditions using .itarget-files)
Debian Bug Tracking System
[Git][ocaml-team/ocamlbuild] Pushed new tag upstream/0.14.2
Julien Puydt (@jpuydt)
[Git][ocaml-team/ocamlbuild][master] Version 0.14.2 wants OCaml >= 5.1
Julien Puydt (@jpuydt)
ocaml-time-now_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ppx-enumerate_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ppx-globalize_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-pp_1.1.2-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ppx-assert_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ppx-inline-test_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ppx-cold_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ppx-base_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ppx-expect_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
coq 8.17.0+dfsg-1 MIGRATED to testing
Debian testing watch
Bug#1039031: ppx-enumerate FTBFS on bytecode architectures
Adrian Bunk
Bug#1039031: marked as done (ppx-enumerate FTBFS on bytecode architectures)
Debian Bug Tracking System
Bug#1039032: ppx-globalize FTBFS on bytecode architectures
Adrian Bunk
Bug#1039032: marked as done (ppx-globalize FTBFS on bytecode architectures)
Debian Bug Tracking System
Bug#1039036: ppx-cold FTBFS on bytecode architectures
Adrian Bunk
Bug#1039036: marked as done (ppx-cold FTBFS on bytecode architectures)
Debian Bug Tracking System
Processing of ppx-cold_0.16.0-2_source.changes
Debian FTP Masters
Processing of ppx-enumerate_0.16.0-2_source.changes
Debian FTP Masters
ppx-cold_0.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-enumerate_0.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ppx-globalize_0.16.0-2_source.changes
Debian FTP Masters
ppx-globalize_0.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1039115: ppx-assert FTBFS on bytecode architectures
Adrian Bunk
Bug#1039115: marked as done (ppx-assert FTBFS on bytecode architectures)
Debian Bug Tracking System
Bug#1039406: ppx-base FTBFS on bytecode architectures
Adrian Bunk
Bug#1039406: marked as done (ppx-base FTBFS on bytecode architectures)
Debian Bug Tracking System
Bug#1039269: mldonkey: ships sysv-init script without systemd unit
bluca
Bug#1039293: ocsigenserver: ships sysv-init script without systemd unit
bluca
Processing of ppx-assert_0.16.0-2_source.changes
Debian FTP Masters
Processing of ppx-base_0.16.0-2_source.changes
Debian FTP Masters
ppx-assert_0.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-base_0.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-menhirlib_20230608+ds-1_source.changes
Debian FTP Masters
coq-menhirlib_20230608+ds-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/5.3.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/js-of-ocaml][master] 6 commits: Really fix d/watch
Julien Puydt (@jpuydt)
[Git][ocaml-team/js-of-ocaml][upstream] New upstream version 5.3.0
Julien Puydt (@jpuydt)
Processing of ppx-enumerate_0.16.0-3_source.changes
Debian FTP Masters
Processing of ppx-assert_0.16.0-3_source.changes
Debian FTP Masters
ppx-assert_0.16.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-enumerate_0.16.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1039739: ppx-expect: FTBFS: Error: Unbound module Sexplib0.Sexp_conv_record
Sebastian Ramacher
jst-config_0.16.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processed: Marking PCRE3 use as RC for trixie
Debian Bug Tracking System
Processing of ocaml-merlin_4.7-413-1_amd64.changes
Debian FTP Masters
ocaml-merlin_4.7-413-1_amd64.changes is NEW
Debian FTP Masters
Processed: found 1000003 in 2.1.2-1, tagging 1000003, found 999965 in 3.3.5+ds-10, tagging 999965 ...
Debian Bug Tracking System
[Git][ocaml-team/sexplib310] Pushed new tag upstream/0.16.0
Julien Puydt (@jpuydt)
The last update was on 20:00 GMT Fri Jun 30. There are 250 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc