debian-ocaml-maint Mar 2024 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#1064086: Acknowledgement (/usr/share/doc/libapache2-mod-netcgi-apache/changelog.gz: libapache2-mod-netcgi-apache break apache)
Stéphane Glondu
Re: Join ocaml team
Stéphane Glondu
Processed: limit source to why3, tagging 1046969
Debian Bug Tracking System
[Git][ocaml-team/why3][master] 5 commits: fix typo in changelog entry
Ralf Treinen (@treinen)
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.7.1.orig.tar.gz
Ralf Treinen (@treinen)
[Git][ocaml-team/why3][upstream] New upstream version 1.7.1
Ralf Treinen (@treinen)
ocaml-afl-persistent is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-afl-persistent is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-pbkdf is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-pbkdf is marked for autoremoval from testing
Debian testing autoremoval watch
crowbar is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
crowbar is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-x509 is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-x509 is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-mirage-crypto is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-mirage-crypto is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-ca-certs is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-ca-certs is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-eqaf is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-eqaf is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-conduit is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-conduit is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-cohttp is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
ocaml-cohttp is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#1065420: RFS: ocaml-linenoise/1.5-1 [ITP] -- Lightweight readline alternative with OCaml
Bo YU
Re: RFS: ocaml-linenoise/1.5-1 [ITP] -- Lightweight readline alternative with OCaml
Bo YU
Processed: tagging 1064128
Debian Bug Tracking System
Bug#1065476: RFS: omd/1.3.2-1 [ITP] -- Markdown frontend in pure OCaml
Bo YU
Re: RFS: omd/1.3.2-1 [ITP] -- Markdown frontend in pure OCaml
Bo YU
Processed: fix ftbfs bug metadata
Debian Bug Tracking System
Processing of morsmall_0.3.0-7_source.changes
Debian FTP Masters
morsmall_0.3.0-7_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.19.1+dfsg.orig.tar.bz2
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][master] 4 commits: New upstream version 8.19.1+dfsg
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag debian/8.19.1+dfsg-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][upstream] New upstream version 8.19.1+dfsg
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag upstream/8.19.1+dfsg
Julien Puydt (@jpuydt)
Bug#1066043: RFS: lem/2022-12-10+dfsg-1 [ITP] -- Tool merging math and logic for executable definitions (tool)
Bo YU
Bug#1037277:
James Addison
<Possible follow-ups>
Bug#1037277:
James Addison
Processed:
Debian Bug Tracking System
Bug#1054822: opam: FTBFS: sed: can't read opam.install: No such file or directory
zhangdandan
Bug#1066654: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration]
Lucas Nussbaum
[Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.5-3
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-mm][master] 2 commits: Drop extraneous dependency on gstreamer and ogg in dev package
Kyle Robbertze (@paddatrapper)
Processing of ocaml-mm_0.8.5-3_source.changes
Debian FTP Masters
ocaml-mm_0.8.5-3_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.5-4
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-mm][master] 2 commits: Replace explicit dependencies with dh_ocaml
Kyle Robbertze (@paddatrapper)
Processing of ocaml-mm_0.8.5-4_source.changes
Debian FTP Masters
ocaml-mm_0.8.5-4_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-cpu is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlnet is marked for autoremoval from testing
Debian testing autoremoval watch
eliom is marked for autoremoval from testing
Debian testing autoremoval watch
nurpawiki is marked for autoremoval from testing
Debian testing autoremoval watch
ben is marked for autoremoval from testing
Debian testing autoremoval watch
ocsigenserver is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-parany is marked for autoremoval from testing
Debian testing autoremoval watch
pxp is marked for autoremoval from testing
Debian testing autoremoval watch
ocsipersist is marked for autoremoval from testing
Debian testing autoremoval watch
meta-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlrss is marked for autoremoval from testing
Debian testing autoremoval watch
approx is marked for autoremoval from testing
Debian testing autoremoval watch
Processed: Bug#1064086 marked as pending in ocamlnet
Debian Bug Tracking System
[Git][ocaml-team/ocamlnet][master] 2 commits: Fix netcgi loading in Apache (Closes: #1064086)
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-5
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-5
Stéphane Glondu (@glondu)
ocamlnet_4.1.9-5_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1064086: marked as done (libapache2-mod-netcgi-apache: breaks apache (undefined symbols))
Debian Bug Tracking System
Processing of ocamlnet_4.1.9-5_source.changes
Debian FTP Masters
Bug#1067267: coq-deriving: FTBFS: unsatisfiable build-dependencies
Lucas Nussbaum
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.4-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.4
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.2.4
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][master] 4 commits: New upstream version 2.2.4
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.2.4.orig.tar.gz
Kyle Robbertze (@paddatrapper)
Processing of liquidsoap_2.2.4-1_source.changes
Debian FTP Masters
liquidsoap_2.2.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1064128: marked as done (liquidsoap: FTBFS: Error: Unbound module Pcre)
Debian Bug Tracking System
mlpcap is marked for autoremoval from testing
Debian testing autoremoval watch
failed riscv64 build of coq 8.18.0+dfsg-1+b1
Debian buildds
Bug#1067819: ITP: linksem -- Semantic model for aspects of ELF static linking and DWARF debug information
Bo YU
Bug#1064128: Reopen - not fixed upstream
Kyle Robbertze
coq-extructures is marked for autoremoval from testing
Debian testing autoremoval watch
coq-deriving is marked for autoremoval from testing
Debian testing autoremoval watch
The last update was on 05:00 GMT Fri Mar 29. There are 85 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