debian-ocaml-maint Nov 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
]
Deprecation of OCaml's ocaml-migrate-parsetree
Sonja Heinze
[Git][ocaml-team/ssreflect][master] 3 commits: New upstream version 2.1.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_2.1.0.orig.tar.gz
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][upstream] New upstream version 2.1.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect] Pushed new tag upstream/2.1.0
Julien Puydt (@jpuydt)
Re: Backporting ocaml-dune without circular dependencies
Stéphane Glondu
Bug#1055867: RM: ocaml-migrate-parsetree -- ROM; deprecated
Stéphane Glondu
Bug#819341: [unison] Please build unison-fsmonitor
Damian Lukowski
Bug#1056062: coq: FTBFS in sid (dune update?)
Gianfranco Costamagna
Bug#1056062: coq: FTBFS in sid (dune update?)
julien . puydt
Bug#1056062: coq: FTBFS in sid (dune update?)
Gianfranco Costamagna
Bug#1056062: coq: FTBFS in sid (dune update?)
julien . puydt
Processed: Re: Bug#1056062: coq: FTBFS in sid (dune update?)
Debian Bug Tracking System
Re: Liquidsoap new version build failure
Kyle Robbertze
Re: Liquidsoap new version build failure
Stéphane Glondu
Re: Liquidsoap new version build failure
Kyle Robbertze
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] 2 commits: New upstream version 2.2.1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][pristine-tar] 2 commits: pristine-tar data for liquidsoap_2.2.1.orig.tar.gz
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][master] 8 commits: Update d/watch to use new upstream artifact naming
Kyle Robbertze (@paddatrapper)
Processing of ocaml-ffmpeg_1.1.9-1_source.changes
Debian FTP Masters
ocaml-ffmpeg_1.1.9-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-finmap is marked for autoremoval from testing
Debian testing autoremoval watch
coquelicot is marked for autoremoval from testing
Debian testing autoremoval watch
ott is marked for autoremoval from testing
Debian testing autoremoval watch
coqeal is marked for autoremoval from testing
Debian testing autoremoval watch
coqprime is marked for autoremoval from testing
Debian testing autoremoval watch
coq-unimath is marked for autoremoval from testing
Debian testing autoremoval watch
coq-stdpp is marked for autoremoval from testing
Debian testing autoremoval watch
coq-reglang is marked for autoremoval from testing
Debian testing autoremoval watch
coq-relation-algebra is marked for autoremoval from testing
Debian testing autoremoval watch
coq-mtac2 is marked for autoremoval from testing
Debian testing autoremoval watch
coq-quickchick is marked for autoremoval from testing
Debian testing autoremoval watch
coq-menhirlib is marked for autoremoval from testing
Debian testing autoremoval watch
coq-math-classes is marked for autoremoval from testing
Debian testing autoremoval watch
coq-iris is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-real-closed is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-multinomials is marked for autoremoval from testing
Debian testing autoremoval watch
coq-hammer is marked for autoremoval from testing
Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
coq-simple-io is marked for autoremoval from testing
Debian testing autoremoval watch
coq-reduction-effects is marked for autoremoval from testing
Debian testing autoremoval watch
coq-extructures is marked for autoremoval from testing
Debian testing autoremoval watch
coq-unicoq is marked for autoremoval from testing
Debian testing autoremoval watch
coq-record-update is marked for autoremoval from testing
Debian testing autoremoval watch
coq-elpi is marked for autoremoval from testing
Debian testing autoremoval watch
coq-ext-lib is marked for autoremoval from testing
Debian testing autoremoval watch
coq-interval is marked for autoremoval from testing
Debian testing autoremoval watch
coq-bignums is marked for autoremoval from testing
Debian testing autoremoval watch
coq-libhyps is marked for autoremoval from testing
Debian testing autoremoval watch
coq-corn is marked for autoremoval from testing
Debian testing autoremoval watch
coq-hierarchy-builder is marked for autoremoval from testing
Debian testing autoremoval watch
coq-hott is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-algebra-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
paramcoq is marked for autoremoval from testing
Debian testing autoremoval watch
coq-gappa is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-analysis is marked for autoremoval from testing
Debian testing autoremoval watch
flocq is marked for autoremoval from testing
Debian testing autoremoval watch
coq-equations is marked for autoremoval from testing
Debian testing autoremoval watch
coq-deriving is marked for autoremoval from testing
Debian testing autoremoval watch
coq-dpdgraph is marked for autoremoval from testing
Debian testing autoremoval watch
coq is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-zify is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-bigenough is marked for autoremoval from testing
Debian testing autoremoval watch
mathcomp-abel is marked for autoremoval from testing
Debian testing autoremoval watch
ssreflect is marked for autoremoval from testing
Debian testing autoremoval watch
[Git][ocaml-team/gd4o] Pushed new tag debian/1.0_alpha5.git20220521.bb52fb2-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/gd4o] Pushed new tag upstream/1.0_alpha5.git20220521.bb52fb2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/gd4o][master] 5 commits: d/watch: fetch current git commits
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/gd4o][pristine-tar] pristine-tar data for gd4o_1.0~alpha5.git20220521.bb52fb2.orig.tar.xz
Kyle Robbertze (@paddatrapper)
Processing of gd4o_1.0~alpha5.git20220521.bb52fb2-1_source.changes
Debian FTP Masters
gd4o_1.0~alpha5.git20220521.bb52fb2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processed: Bug#1038078 marked as pending in liquidsoap
Debian Bug Tracking System
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1_exp1
Kyle Robbertze (@paddatrapper)
Processing of liquidsoap_2.2.2-1~exp1_amd64.changes
Debian FTP Masters
liquidsoap_2.2.2-1~exp1_amd64.changes is NEW
Debian FTP Masters
Bug#1042099: marked as done (liquidsoap FTBFS: Error: This expression has type ... but an expression was expected of type)
Debian Bug Tracking System
<Possible follow-ups>
Bug#1042099: marked as done (liquidsoap FTBFS: Error: This expression has type ... but an expression was expected of type)
Debian Bug Tracking System
Bug#1038078: marked as done (liquidsoap: Indirectly depends on SDL 1.2)
Debian Bug Tracking System
<Possible follow-ups>
Bug#1038078: marked as done (liquidsoap: Indirectly depends on SDL 1.2)
Debian Bug Tracking System
liquidsoap_2.2.2-1~exp1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Bug#1056948: coq-doc-html loads files from a CDN
Evgeny Kapun
Processed: Bug#1056948 marked as pending in coq-doc
Debian Bug Tracking System
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][master] prepare upload to unstable
Kyle Robbertze (@paddatrapper)
Processing of liquidsoap_2.2.2-1_source.changes
Debian FTP Masters
liquidsoap_2.2.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1057058: liquidsoap-doc: missing Breaks+Replaces: liquidsoap (<< 2.2.2)
Andreas Beckmann
Re: release.debian.org: provide a dd-list in the transition tracker
Paul Gevers
Message not available
Processed: Re: release.debian.org: provide a dd-list in the transition tracker
Debian Bug Tracking System
Bug#636342: release.debian.org: provide a dd-list in the transition tracker
Sebastiaan Couwenberg
Bug#636342: release.debian.org: provide a dd-list in the transition tracker
Yves-Alexis Perez
Processed: severity of 1038076 is serious
Debian Bug Tracking System
Bug#1038076: ocamlsdl: Is a language binding for an obsolete version of SDL
Alexandre Detiste
The last update was on 19:40 GMT Thu Nov 30. There are 94 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