debian-ocaml-maint Oct 2019 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
]
Processing of ocaml-ffmpeg_0.4.1-1_source.changes
Debian FTP Masters
ocaml-ffmpeg_0.4.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#941507: ocaml-nox: Unable to install ocaml-nox 4.08 from experimental
Kyle Robbertze
Bug#941507: marked as done (ocaml-nox: Unable to install ocaml-nox 4.08 from experimental)
Debian Bug Tracking System
[Git][ocaml-team/ocaml-fdkaac] Pushed new tag debian/0.3.1-1
Kyle Robbertze
[Git][ocaml-team/ocaml-fdkaac] Pushed new tag upstream/0.3.1
Kyle Robbertze
[Git][ocaml-team/ocaml-fdkaac][pristine-tar] pristine-tar data for ocaml-fdkaac_0.3.1.orig.tar.gz
Kyle Robbertze
Processing of ocaml-fdkaac_0.3.1-1_source.changes
Debian FTP Masters
ocaml-fdkaac_0.3.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-fdkaac] Pushed new tag debian/0.3.1-2
Kyle Robbertze
Processing of ocaml-fdkaac_0.3.1-2_amd64.changes
Debian FTP Masters
ocaml-fdkaac_0.3.1-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
liquidsoap is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#885267: bumping severity of pygtk bugs
Jeremy Bicha
Message not available
Processed: bumping severity of pygtk bugs
Debian Bug Tracking System
coccinelle is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
coccinelle is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#941907: transition: ocaml
Stéphane Glondu
Processed: tagging 940224, tagging 939334, tagging 939741, tagging 939817, tagging 939961, tagging 939962 ...
Debian Bug Tracking System
Processed: found 941531 in 2.6.0-3, tagging 885267
Debian Bug Tracking System
prooftree is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
prooftree is marked for autoremoval from testing
Debian testing autoremoval watch
lambda-term is marked for autoremoval from testing
Debian testing autoremoval watch
utop is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#921593: marked as done (bibtex2html should transate math characters with overhead accents)
Debian Bug Tracking System
Bug#921278: marked as done (bibtex2html: Lacks several math-related translations)
Debian Bug Tracking System
Processing of bibtex2html_1.99-3_source.changes
Debian FTP Masters
bibtex2html_1.99-3_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/bibtex2html] Pushed new tag debian/1.99-3
Ralf Treinen
Bug#942344: why3: does not work with current version of z3
Fabian Wolff
Bug#942344: marked as done (why3: does not work with current version of z3)
Debian Bug Tracking System
Processed: tagging 942344
Debian Bug Tracking System
Processed: transition blocks
Debian Bug Tracking System
Processing of why3_1.2.0-3_source.changes
Debian FTP Masters
why3_1.2.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/why3] Pushed new tag debian/1.2.0-3
Ralf Treinen
OUnit Package: Requesting a sponsor
Brett D
Re: OUnit Package: Requesting a sponsor
Kyle Robbertze
[Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.4.1-1
Kyle Robbertze
[Git][ocaml-team/ocaml-gettext] Pushed new tag upstream/0.4.1
Kyle Robbertze
[Git][ocaml-team/ocaml-gettext][master] 7 commits: New upstream version 0.4.1
Kyle Robbertze
[Git][ocaml-team/ocaml-gettext][upstream] New upstream version 0.4.1
Kyle Robbertze
[Git][ocaml-team/ocaml-gettext][pristine-tar] pristine-tar data for ocaml-gettext_0.4.1.orig.tar.gz
Kyle Robbertze
Processing of ocaml-gettext_0.4.1-1_source.changes
Debian FTP Masters
ocaml-gettext_0.4.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#942747: FTBFS: "Error: Unbound module Parser"
Magnus Holmgren
Bug#942747: FTBFS: "Error: Unbound module Parser"
Stéphane Glondu
Processed: Re: FTBFS: "Error: Unbound module Parser"
Debian Bug Tracking System
Processing of ocaml-gettext_0.4.1-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.4.1-2
Kyle Robbertze
ocaml-gettext_0.4.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
☝ Enkel onze bevoorrechte relaties, tips die altijd nuttig zijn.
Inktbestellen.be | Doe er uw voordeel mee.
Creo que te interesa, Propuesta de Colaboración
Jaime Sánchez
Bug#883645: marked as done (Coq.Arith.PeanoNat missing from coq-theories)
Debian Bug Tracking System
ocamldap is marked for autoremoval from testing
Debian testing autoremoval watch
ben is marked for autoremoval from testing
Debian testing autoremoval watch
meta-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
xmlrpc-light is marked for autoremoval from testing
Debian testing autoremoval watch
pxp is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlnet is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-lastfm is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-http is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlrss is marked for autoremoval from testing
Debian testing autoremoval watch
tyxml is marked for autoremoval from testing
Debian testing autoremoval watch
Problem with generating sedlex doc with ocamldoc
Andy Li
Re: Problem with generating sedlex doc with ocamldoc
Stéphane Glondu
Re: Problem with generating sedlex doc with ocamldoc
Andy Li
Creo que puede interesarte: Propuesta de Colaboración
Jaime Sánchez
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.2.1.orig.tar.gz
Ralf Treinen
Processing of why3_1.2.1-1_source.changes
Debian FTP Masters
why3_1.2.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/why3] Pushed new tag debian/1.2.1-1
Ralf Treinen
[Git][ocaml-team/why3] Pushed new tag upstream/1.2.1
Ralf Treinen
The last update was on 21:20 GMT Wed Oct 30. There are 73 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