debian-ocaml-maint Aug 2015 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
]
Good Day Please,
William Albert
Processed: raise severity of GCC 5 issues
Debian Bug Tracking System
OCaml Team Request for Sponsorship
Riley Baird
Re: OCaml Team Request for Sponsorship
Stéphane Glondu
Bug#777776: apron: ftbfs with GCC-5
gregor herrmann
Message not available
Processed: Re: Bug#777776: apron: ftbfs with GCC-5
Debian Bug Tracking System
Personaliseer de badges en plastic kaarten van uw bedrijf
Kaart printer
Bug#777776: marked as done (apron: ftbfs with GCC-5)
Debian Bug Tracking System
Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt
Valentin Lorentz
Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt
Stéphane Glondu
Bug#786913: Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt
Stéphane Glondu
<Possible follow-ups>
Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt
Chris Lamb
Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt
Stéphane Glondu
Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt
Chris Lamb
Bug#794586: ocaml: Please make ocamldoc produce reproducible manpages
Valentin Lorentz
Bug#794586: ocaml: Please make ocamldoc produce reproducible manpages
Stéphane Glondu
Processed: Re: Bug#794586: ocaml: Please make ocamldoc produce reproducible manpages
Debian Bug Tracking System
Bug#794586: marked as done (ocaml: Please make ocamldoc produce reproducible manpages)
Debian Bug Tracking System
Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
Julien Cristau
Message not available
Processed: Re: Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
Debian Bug Tracking System
matita is marked for autoremoval from testing
Debian testing autoremoval watch
gmetadom is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#791052: gmetadom: diff for NMU version 0.2.6-6.2
Jonathan Wiltshire
Message not available
Processed: gmetadom: diff for NMU version 0.2.6-6.2
Debian Bug Tracking System
Bug#791052: transition: gmetadom (libgdome2-cpp-smart0v5)
Simon McVittie
Processed: Re: Bug#791052: transition: gmetadom (libgdome2-cpp-smart0v5)
Debian Bug Tracking System
Processing of gmetadom_0.2.6-6.2_source.changes
Debian FTP Masters
gmetadom_0.2.6-6.2_source.changes REJECTED
Debian FTP Masters
Processing of postgresql-ocaml_2.0.5-2_amd64.changes
Debian FTP Masters
postgresql-ocaml_2.0.5-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of pcre-ocaml_7.0.4-2_amd64.changes
Debian FTP Masters
Processing of yojson_1.1.8-2_amd64.changes
Debian FTP Masters
pcre-ocaml_7.0.4-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
yojson_1.1.8-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of aac-tactics_0.4-4_amd64.changes
Debian FTP Masters
aac-tactics_0.4-4_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of gmetadom_0.2.6-6.2_amd64.changes
Debian FTP Masters
gmetadom_0.2.6-6.2_amd64.changes is NEW
Debian FTP Masters
gmetadom_0.2.6-6.2_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
Processing of cmigrep_1.5-12_amd64.changes
Debian FTP Masters
cmigrep_1.5-12_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture
Stéphane Glondu
Processed: Re: Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture
Debian Bug Tracking System
Bug#749261: ocaml: Please add support for OpenRISC/or1k architecture
Manuel A. Fernandez Montecelo
Bug#677755: marked as done (Updating the mlgmp Uploaders list)
Debian Bug Tracking System
Processing of mlgmp_20021123-18_amd64.changes
Debian FTP Masters
mlgmp_20021123-18_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#679058: marked as done (ocaml: -custom breaks ocamlrun and ocamldebug)
Debian Bug Tracking System
Bug#699330: dh_ocaml should add Built-Using fields
Stéphane Glondu
Bug#620838: marked as done (dh-ocaml: dh_ocaml doesn't depend on -dev packages even when runtime package requires it)
Debian Bug Tracking System
Bug#659244: marked as done (dom-safe-pull: should fail when ssh+git connection fails)
Debian Bug Tracking System
Processing of ledit_2.03-3_amd64.changes
Debian FTP Masters
Bug#792968: marked as done (Correct spelling of ${shlibs:Depends})
Debian Bug Tracking System
ledit_2.03-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of dh-ocaml_1.0.10_amd64.changes
Debian FTP Masters
Bug#500036: marked as done (policy: dynamically-loadable objects and META files should be allowed in non *-dev binary packages)
Debian Bug Tracking System
Bug#779037: marked as done (dh-ocaml: please make the build reproducible)
Debian Bug Tracking System
dh-ocaml_1.0.10_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processed: tagging 509803
Debian Bug Tracking System
Processed: reassign 582664 to libdbm-ocaml-dev
Debian Bug Tracking System
Bug#509803: marked as done (Fails to properly free memory on exit)
Debian Bug Tracking System
Bug#795314: ben: use a different colour for packages that are both good and bad
Simon McVittie
Bug#795314: marked as done (ben: use a different colour for packages that are both good and bad)
Debian Bug Tracking System
Bug#588978: marked as done (ocaml-nox: ocamlbuild cannot handle symlink loops)
Debian Bug Tracking System
Bug#461125: ocaml-nox: linking into a shared library fails due to R_X86_64_32 relocations
Stéphane Glondu
Message not available
Processed: Re: Bug#461125: ocaml-nox: linking into a shared library fails due to R_X86_64_32 relocations
Debian Bug Tracking System
Bug#627132: marked as done (New "-custom" binary generation breaks stack backtraces)
Debian Bug Tracking System
Bug#795366: mldonkey: [INTL:pt_BR] Brazilian Portuguese debconf templates translation
Eder L. Marques
Bug#461125: marked as done (ocaml-nox: linking into a shared library fails due to R_X86_64_32 relocations)
Debian Bug Tracking System
Bug#779086: marked as done (ocaml: please make the build reproducible)
Debian Bug Tracking System
Processing of ocaml_4.02.3-1_amd64.changes
Debian FTP Masters
ocaml_4.02.3-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Bug#795443: ocaml: please make the ocamldoc date configurable
Chris Lamb
Bug#795443: ocaml: please make the ocamldoc date configurable
Stéphane Glondu
Bug#795443: ocaml: please make the ocamldoc date configurable
Chris Lamb
Bug#795443: marked as done (ocaml: please make the ocamldoc date configurable)
Debian Bug Tracking System
Processed: tagging 795314, tagging 792054
Debian Bug Tracking System
Processed: tagging 747875
Debian Bug Tracking System
Processing of findlib_1.5.5-0+1_amd64.changes
Debian FTP Masters
findlib_1.5.5-0+1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processed: Re: Bug#794732: libguestfs: FTBFS
Debian Bug Tracking System
Processed: tagging 747883
Debian Bug Tracking System
Bug#747875: marked as done (ben: position of --config argument matters)
Debian Bug Tracking System
Bug#792054: marked as done (ben: please make the build reproducible)
Debian Bug Tracking System
Bug#747883: marked as done (ben: please let "ben monitor" output in a more machine readable format)
Debian Bug Tracking System
Processing of ben_0.7.1_amd64.changes
Debian FTP Masters
objection against proposed patch for ocaml-gettext?
Hilko Bengen
Re: objection against proposed patch for ocaml-gettext?
Mehdi Dogguy
Re: objection against proposed patch for ocaml-gettext?
Hilko Bengen
Re: objection against proposed patch for ocaml-gettext?
Mehdi Dogguy
ben_0.7.1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
lablgtkmathview is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-gettext is marked for autoremoval from testing
Debian testing autoremoval watch
Processing of findlib_1.5.5-0+2_amd64.changes
Debian FTP Masters
findlib_1.5.5-0+2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
unison2.40.102_2.40.102-3_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
Bug#705318: Please package latest upstream version
Yuri Kanivetsky
Processed: retitle 786913 to ocamlc -custom creates random intermediate filenames
Debian Bug Tracking System
Bug#795784: ocamlopt startup file randomness ends up in final executable
Stéphane Glondu
Bug#795784: marked as done (ocamlopt startup file randomness ends up in final executable)
Debian Bug Tracking System
Processed: tagging 795784
Debian Bug Tracking System
Bug#747889: ben: creating a ben.cache from a directory of Packages and Sources files
Mehdi Dogguy
Bug#795302: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#795302: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#582664: marked as done (ocaml dbm: segmentation faults and fatal errors)
Debian Bug Tracking System
Bug#795308: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#795308: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#599317: marked as done (json-static: should use dh-ocaml >= 0.9)
Debian Bug Tracking System
Bug#795403: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#795403: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#629523: marked as done (file /usr/bin/jsoncat in both packages: libjson-wheel-ocaml-dev and libjson-static-camlp4-dev)
Debian Bug Tracking System
Bug#326808: marked as done (unison-gtk: internal error when merging with emacs)
Debian Bug Tracking System
Bug#359656: marked as done (unison-gtk: cannot enter an alternative ssh port)
Debian Bug Tracking System
Verzacht uw kraantjeswater
Waterverzachter
Bug#499943: marked as done (unison: Fails to chown when trying to sync ownership)
Debian Bug Tracking System
Processed: tagging 504503
Debian Bug Tracking System
Bug#574937: marked as done (unison: ignores perms=0)
Debian Bug Tracking System
Processed: tagging 705318
Debian Bug Tracking System
Bug#579158: marked as done (unison: manual should be utf-8 encoded)
Debian Bug Tracking System
Bug#129802: marked as done (unison: Add cvs ignore policy option)
Debian Bug Tracking System
Processed: tagging 129802
Debian Bug Tracking System
Processed: tagging 499943
Debian Bug Tracking System
Processing of unison_2.48.3-1_amd64.changes
Debian FTP Masters
Bug#504503: marked as done (unison: temporary file names might result in names longer than 255 bytes)
Debian Bug Tracking System
Bug#705318: marked as done (Please package latest upstream version)
Debian Bug Tracking System
Bug#790870: marked as done (unison version is way too old, even in unstable (2.40.102 vs 2.48.3))
Debian Bug Tracking System
Bug#777238: marked as done (unison-gtk: Absolute path in Icon property in desktop file.)
Debian Bug Tracking System
unison_2.48.3-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of meta-unison_2.48+1_amd64.changes
Debian FTP Masters
meta-unison_2.48+1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#796336: ocamlopt -pack produces non-reproducible output
Stéphane Glondu
Bug#796336: marked as done (ocamlopt -pack produces non-reproducible output)
Debian Bug Tracking System
Processed: affects 796336
Debian Bug Tracking System
Bug#796380: src:omake: embeds build date, makes package non-reproducible
Stéphane Glondu
Bug#796418: src:cduce: embeds build date, makes package non-reproducible
Stéphane Glondu
Processed: tagging 796336
Debian Bug Tracking System
Processing of ocaml_4.02.3-2_amd64.changes
Debian FTP Masters
ocaml_4.02.3-2_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Bug#786238: marked as done (pycaml: deprecation of python-support)
Debian Bug Tracking System
Processing of pycaml_0.82-14.1_amd64.changes
Debian FTP Masters
pycaml_0.82-14.1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ocamlodbc is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#796991: Program close itself after choosing a directory
bitfreak
Processing of dose3_4.0-1_amd64.changes
Debian FTP Masters
dose3_4.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#797100: ben: Uncaught exception: ben-specific error: No configuration file has been specified
Gilles Filippini
Bug#797100: ben: Uncaught exception: ben-specific error: No configuration file has been specified
Mehdi Dogguy
Bug#797100: ben: Uncaught exception: ben-specific error: No configuration file has been specified
Gilles Filippini
Processed: Re: Bug#797100: ben: Uncaught exception: ben-specific error: No configuration file has been specified
Debian Bug Tracking System
Bug#749261: marked as done (ocaml: Please add support for OpenRISC/or1k architecture)
Debian Bug Tracking System
Processed: notfound 531756 in 4.01.0-4
Debian Bug Tracking System
Bug#531756: marked as done (Add extern int code_of_unix_error (value error);)
Debian Bug Tracking System
Bug#659212: marked as done (/usr/bin/ocamlbuild.native: ocamlbuild reports fatal-error if -build-dir option is used with absolute filenames)
Debian Bug Tracking System
Bug#707127: marked as done (ocaml-base: Big_int.extract_big_int does not handle negative numbers properly)
Debian Bug Tracking System
Bug#797448: dose3 is unfit for transitioning to testing
Johannes Schauer
Bug#797451: opam FTBFS with dose3 4.0
Johannes Schauer
Processed: opam FTBFS with dose3 4.0
Debian Bug Tracking System
Processed: botch FTBFS with dose3 4.0
Debian Bug Tracking System
Bug#797473: frama-c: New upstream version
Kurt Roeckx
Re: Bug#797473: frama-c: New upstream version
David MENTRE
Re: Bug#797473: frama-c: New upstream version
Mehdi Dogguy
Bug#797473: marked as done (frama-c: New upstream version)
Debian Bug Tracking System
Processing of extlib_1.7.0-1_amd64.changes
Debian FTP Masters
extlib_1.7.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of extlib_1.7.0-2_amd64.changes
Debian FTP Masters
extlib_1.7.0-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processed: bug 789251 is forwarded to https://github.com/ygrek/ocaml-extlib/issues/34
Debian Bug Tracking System
Processing of ocamlgraph_1.8.6-1_amd64.changes
Debian FTP Masters
ocamlgraph_1.8.6-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#789251: marked as done (extlib: Missing version in META file.)
Debian Bug Tracking System
Processing of frama-c_20150201+sodium+dfsg-1_amd64.changes
Debian FTP Masters
Bug#792612: marked as done (frama-c: please provide package w/o gui & gui dependencies)
Debian Bug Tracking System
frama-c_20150201+sodium+dfsg-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#797616: Removed package(s) from unstable
Debian FTP Masters
The last update was on 06:03 GMT Sat Jun 22. There are 174 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