debian-ocaml-maint
Thread
Date
Earlier messages
Messages by Thread
ocaml_3.12.2~~dev6+12112-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Processing of ocaml_3.12.2~~dev6+12112-1_amd64.changes
Debian FTP Masters
ocaml-gnuplot_0.8.3-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
dose3_2.9.13-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
pcre-ocaml_6.2.5-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of pcre-ocaml_6.2.5-1_amd64.changes
Debian FTP Masters
unison2.27.57_2.27.57-5_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of unison2.27.57_2.27.57-5_amd64.changes
Debian FTP Masters
nss-passwords_0.1.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of nss-passwords_0.1.1-1_amd64.changes
Debian FTP Masters
dh-ocaml_1.0.4_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of dh-ocaml_1.0.4_amd64.changes
Debian FTP Masters
Bug#659244: dom-safe-pull: should fail when ssh+git connection fails
Ralf Treinen
Bug#659212: /usr/bin/ocamlbuild.native: ocamlbuild reports fatal-error if -build-dir option is used with absolute filenames
Andreas Romeyke
Bug#659212: /usr/bin/ocamlbuild.native: ocamlbuild reports fatal-error if -build-dir option is used with absolute filenames
Hendrik Tews
Bug#659151: automatically fall back to older version
martin f krafft
Bug#659149: CVE-2012-0839: Hash collision DoS
Moritz Muehlenhoff
Bug#659149: CVE-2012-0839: Hash collision DoS
Mehdi Dogguy
ocaml-gnuplot_0.8.3-2_amd64.changes is NEW
Debian FTP Masters
Processing of ocaml-gnuplot_0.8.3-2_amd64.changes
Debian FTP Masters
dose3_2.9.13-1_amd64.changes is NEW
Debian FTP Masters
Processing of dose3_2.9.13-1_amd64.changes
Debian FTP Masters
ocaml-gnuplot_0.8.3-1_amd64.changes REJECTED
Luca Falavigna
Bug#659002: ocaml-nox: ocaml-compiler with mysterious effects if somewhere a comment with open quotation, example (* 3" *)
Andreas Romeyke
Bug#659002: ocaml-nox: ocaml-compiler with mysterious effects if somewhere a comment with open quotation, example (* 3" *)
Hendrik Tews
[bts-link] source package extlib
bts-link-upstream
otags_3.12.2-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of otags_3.12.2-1_amd64.changes
Debian FTP Masters
ocaml-gnuplot_0.8.3-1_amd64.changes is NEW
Debian FTP Masters
Processing of ocaml-gnuplot_0.8.3-1_amd64.changes
Debian FTP Masters
cudf_0.6.2-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of cudf_0.6.2-1_amd64.changes
Debian FTP Masters
Bug#658596: ITP: lambda-term -- terminal manipulation library for OCaml
Nicolas Dandrimont
Bug#658584: ITP: zed -- abstract engine for text edition in OCaml
Nicolas Dandrimont
ocsigenserver_2.0.3a-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ocsigenserver_2.0.3a-1_amd64.changes is NEW
Debian FTP Masters
Processing of ocsigenserver_2.0.3a-1_amd64.changes
Debian FTP Masters
unison2.32.52_2.32.52-5_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of unison2.32.52_2.32.52-5_amd64.changes
Debian FTP Masters
Bug#657554: nss-passwords 0.1-1 fails to build with ld --as-needed
Leo Iannacone
Bug#657554: marked as done (nss-passwords 0.1-1 fails to build with ld --as-needed)
Debian Bug Tracking System
Processed: tagging 657496
Debian Bug Tracking System
Bug#657496: unison: manual empty
Sebastian Luque
Debian policy regarding debian/ upstream directory
David MENTRE
Re: Debian policy regarding debian/ upstream directory
Stéphane Glondu
Re: Debian policy regarding debian/ upstream directory
David MENTRE
Re: Debian policy regarding debian/ upstream directory
Goswin von Brederlow
Processed: found 657423 in 2.32.52-4
Debian Bug Tracking System
Processed: reopening 657423
Debian Bug Tracking System
unison_2.40.63-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of unison_2.40.63-2_amd64.changes
Debian FTP Masters
Processed: cloning 641102, reassign -1 to unison2.32.52
Debian Bug Tracking System
Processed: cloning 656355, reassign -1 to unison2.27.57
Debian Bug Tracking System
Processed: cloning 656355, reassign -1 to unison
Debian Bug Tracking System
menhir_20120123.dfsg-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of menhir_20120123.dfsg-1_amd64.changes
Debian FTP Masters
Bug#656878: /etc/edos-builddebcheck.conf: out of date architecture list
Jakub Wilk
coinst_1.01-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coinst_1.01-2_amd64.changes
Debian FTP Masters
Bug#656730: coinst: does not compile on non-native architecture
Ralf Treinen
Bug#656730: marked as done (coinst: does not compile on non-native architecture)
Debian Bug Tracking System
coinst_1.01-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ocsigenserver_2.0.2b+dfsg-1_amd64.changes REJECTED
Luca Falavigna
Re: ocsigenserver_2.0.2b+dfsg-1_amd64.changes REJECTED
Stéphane Glondu
coinst_1.01-1_amd64.changes is NEW
Debian FTP Masters
Processing of coinst_1.01-1_amd64.changes
Debian FTP Masters
Bug#398897: ocaml-tools: omlet does not respect the efm variable
Cyril Soldani
Processed: Re: Bug#398897: ocaml-tools: omlet does not respect the efm variable
Debian Bug Tracking System
Bug#656426: ocaml-tools: Dead link in README.omlet
Cyril Soldani
Bug#656355: unison2.32.52-gtk: does not remove unison-gtk alternative
Andreas Beckmann
Bug#657420: marked as done (unison2.32.52-gtk: does not remove unison-gtk alternative)
Debian Bug Tracking System
Bug#656355: marked as done (unison2.32.52-gtk: does not remove unison-gtk alternative)
Debian Bug Tracking System
Bug#657421: marked as done (unison2.32.52-gtk: does not remove unison-gtk alternative)
Debian Bug Tracking System
ocaml-tools_20120103-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-tools_20120103-2_amd64.changes
Debian FTP Masters
Processed: limit source to ocaml-tools, tagging 656330
Debian Bug Tracking System
Bug#656330: ocaml-tools: Missing OMLet files
Cyril Soldani
Bug#656330: ocaml-tools: Missing OMLet files
Mehdi Dogguy
Bug#656330: marked as done (ocaml-tools: Missing OMLet files)
Debian Bug Tracking System
sexplib310_7.0.4-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of sexplib310_7.0.4-2_amd64.changes
Debian FTP Masters
Processed: limit source to sexplib310, tagging 656307
Debian Bug Tracking System
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Ralf Treinen
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
camlp4-extra (<< 3.13) [was ... otags reloaded 3.12.1 ...]
Hendrik Tews
Re: camlp4-extra (<< 3.13) [was ... otags reloaded 3.12.1 ...]
Stéphane Glondu
Re: camlp4-extra (<< 3.13) [was ... otags reloaded 3.12.1 ...]
Hendrik Tews
Re: camlp4-extra (<< 3.13) [was ... otags reloaded 3.12.1 ...]
Stéphane Glondu
Re: camlp4-extra (<< 3.13)
Hendrik Tews
Re: camlp4-extra (<< 3.13)
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Stéphane Glondu
Re: [Caml-list] [ANNOUNCE] otags reloaded 3.12.1 for OCaml 3.12.1
Hendrik Tews
Processed: bug 656307 is forwarded to http://forge.ocamlcore.org/tracker/?func=detail&atid=334&aid=1072&group_id=62
Debian Bug Tracking System
Bug#656307:
Romeyke, Andreas
Bug#656307:
Stéphane Glondu
Bug#656307:
Andreas Romeyke
Bug#656307:
Mehdi Dogguy
Bug#656307:
Andreas Romeyke
Bug#656307: marked as done ()
Debian Bug Tracking System
ocsigenserver_2.0.2b+dfsg-1_amd64.changes is NEW
Debian FTP Masters
Processing of ocsigenserver_2.0.2b+dfsg-1_amd64.changes
Debian FTP Masters
ocsigenserver_2.0.2b-1_armel.changes REJECTED
Luca Falavigna
ocsigenserver_2.0.2b-1_armel.changes is NEW
Debian FTP Masters
Processing of ocsigenserver_2.0.2b-1_armel.changes
Debian FTP Masters
why_2.30+dfsg-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of why_2.30+dfsg-3_amd64.changes
Debian FTP Masters
Bug#430126: marked as done (why: caduceus: the abs example is in fact wrong)
Debian Bug Tracking System
coq_8.4~beta+dfsg-3_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Processing of coq_8.4~beta+dfsg-3_amd64.changes
Debian FTP Masters
Accepted coq 8.4~beta+dfsg-3 (source all amd64)
Stéphane Glondu
Accepted coq 8.4~beta+dfsg-3 (source all amd64)
Stéphane Glondu
coccinelle_1.0.0~rc9.deb-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coccinelle_1.0.0~rc9.deb-1_amd64.changes
Debian FTP Masters
Processing of coccinelle_1.0.0~rc9.deb-1_amd64.changes
Debian FTP Masters
coq_8.4~beta+dfsg-2_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Processing of coq_8.4~beta+dfsg-2_amd64.changes
Debian FTP Masters
Accepted coq 8.4~beta+dfsg-2 (source all amd64)
Stéphane Glondu
Accepted coq 8.4~beta+dfsg-2 (source all amd64)
Stéphane Glondu
2 coq emacs modes
Hendrik Tews
Re: 2 coq emacs modes
David MENTRE
Re: 2 coq emacs modes
Hendrik Tews
Re: 2 coq emacs modes
David MENTRE
Re: 2 coq emacs modes
Stéphane Glondu
coq_8.4~beta+dfsg-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Processing of coq_8.4~beta+dfsg-1_amd64.changes
Debian FTP Masters
Accepted coq 8.4~beta+dfsg-1 (source all amd64)
Stéphane Glondu
Accepted coq 8.4~beta+dfsg-1 (source all amd64)
Stéphane Glondu
why_2.30+dfsg-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of why_2.30+dfsg-2_amd64.changes
Debian FTP Masters
unison2.32.52_2.32.52-4_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#655395: ITP: coinst -- computes the co-installability kernel of a deb or RPM distribution
Ralf Treinen
mldonkey_3.1.0-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
coq-float_8.3pl1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-float_8.3pl1-1_amd64.changes
Debian FTP Masters
Processing of mldonkey_3.1.0-3_amd64.changes
Debian FTP Masters
[bts-link] source package ocaml-doc
bts-link-upstream
[bts-link] source package ocaml-doc
bts-link-upstream
Processed: [bts-link] source package ocaml-doc
Debian Bug Tracking System
Bug#655140: Please enabled hardened build flags
Moritz Muehlenhoff
Bug#655140: marked as done (Please enabled hardened build flags)
Debian Bug Tracking System
camomile_0.8.4-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of camomile_0.8.4-1_amd64.changes
Debian FTP Masters
unison_2.40.63-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Processing of unison_2.40.63-1_amd64.changes
Debian FTP Masters
Bug#641462: Unison 2.40.63...
Stéphane Glondu
unison2.32.52_2.32.52-4_amd64.changes is NEW
Debian FTP Masters
unison2.32.52_2.32.52-4_amd64.changes REJECTED
Debian FTP Masters
Processing of unison2.32.52_2.32.52-4_amd64.changes
Debian FTP Masters
Processing of unison2.32.52_2.32.52-4_amd64.changes
Debian FTP Masters
Bug#641462: Another vote for 2.40.xx
Daniel Smith
frama-c_20111001+nitrogen+dfsg-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of frama-c_20111001+nitrogen+dfsg-3_amd64.changes
Debian FTP Masters
headache_1.03-22_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of headache_1.03-22_amd64.changes
Debian FTP Masters
Processed: tagging 620379
Debian Bug Tracking System
mlpcap_0.9-16_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#562841: marked as done (libmlpcap-ocaml-dev: ocamldoc-generated documentation is out of sync)
Debian Bug Tracking System
Bug#562840: marked as done (libmlpcap-ocaml-dev: typo in META file)
Debian Bug Tracking System
Processing of mlpcap_0.9-16_amd64.changes
Debian FTP Masters
Processed: tagging 596622
Debian Bug Tracking System
Processed: tagging 596622
Debian Bug Tracking System
Bug#564158: marked as done ([libmlpcap-ocaml-dev] Invalid payload in callback function when reading a trace with pcap_loop)
Debian Bug Tracking System
ocaml-curses_1.0.3-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processed: notfound 643070 in camltemplate/1.0.2-1
Debian Bug Tracking System
Processed: notfound 643104 in easy-format/1.0.0-1
Debian Bug Tracking System
Processed: notfound 643229 in oasis/0.2.0-4
Debian Bug Tracking System
Processed: notfound 643233 in ocaml-inifiles/1.2-1
Debian Bug Tracking System
Processing of ocaml-curses_1.0.3-2_amd64.changes
Debian FTP Masters
Bug#473579: libhttp-ocaml-dev: Not_found raised in Http_user_agent.head when the host does not exists.
Mehdi Dogguy
ocaml-inifiles_1.2-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-inifiles_1.2-2_amd64.changes
Debian FTP Masters
ocaml-tools_20120103-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-tools_20120103-1_amd64.changes
Debian FTP Masters
pgocaml_1.4-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of pgocaml_1.4-2_amd64.changes
Debian FTP Masters
headache_1.03-21_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of headache_1.03-21_amd64.changes
Debian FTP Masters
ocaml-doc_3.12-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-doc_3.12-2_amd64.changes
Debian FTP Masters
ocaml-doc_3.12-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-doc_3.12-1_amd64.changes
Debian FTP Masters
coq-doc_8.3pl3-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-doc_8.3pl3-1_amd64.changes
Debian FTP Masters
ocaml-data-notation_0.0.7-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
yojson_1.0.3-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of yojson_1.0.3-1_amd64.changes
Debian FTP Masters
Earlier messages