debian-ocaml-maint Oct 2015 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Re: [coqdev] Bytecode/native interoperability of .vo/.coq files
aac-tactics_0.4-5_amd64.changes ACCEPTED into unstable
aac-tactics_0.4-5_amd64.changes REJECTED
Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable
Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable
atdgen is marked for autoremoval from testing
ben is marked for autoremoval from testing
ben_0.7.2_amd64.changes ACCEPTED into unstable
ben_0.7.3_amd64.changes ACCEPTED into unstable
bibtex2html_1.98-3_amd64.changes ACCEPTED into unstable
biniou is marked for autoremoval from testing
Bug#102300: unison: unison does not detect changes if time stamp didn't change
Bug#237323: Diff output should be piped to pager
Bug#394946: marked as done (unison: merge2 option rejected)
Bug#394946: unison: merge2 option rejected
Bug#776573: marked as done (Correct "seriuos" -> "serious" typo in manpage)
Bug#776576: marked as done (polygen: please make the build reproducible)
Re: Bug#789133: transition: ocaml 4.02.3
Re: Bug#789619: plplot: FTBFS: Configuring incomplete, errors occurred! (debdiff so far)
Bug#797100: marked as done (misleading directions in example ocaml.ben)
Bug#798263: marked as done (coccinelle: libparmap-ocaml)
Bug#800390: marked as done (ben: Section should be “devel”)
Bug#801447: ocaml-nox: broken symlinks /usr/share/man/man1/ocamlbuild.*
Bug#801458: FTBFS with OCaml 4.02.3
Bug#801459: FTBFS with OCaml 4.02.3
Bug#801459: marked as done (FTBFS with OCaml 4.02.3)
Bug#801550: marked as done (ocamlnet: FTBFS -- unterminated string literal)
Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal
Bug#801560: liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite /usr/lib/ocaml/stublibs/dlllabltk.so
Bug#801560: marked as done (liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite /usr/lib/ocaml/stublibs/dlllabltk.so)
Bug#801773: FTBFS with OCaml 4.02.3
Bug#801773: marked as done (FTBFS with OCaml 4.02.3)
Bug#802055: liquidsoap: currently FTBFS
Bug#802166: otags: fails to install: post-installation script returned error exit status 3
Bug#802268: src:cduce: FTBFS with OCaml 4.02.3
Bug#802347: marked as done (mlpost: FTBFS: mlpost.mli: lexing: empty token)
Bug#802347: mlpost: FTBFS: mlpost.mli: lexing: empty token
Bug#802860: eliom: FTBFS: the new definition of Svg does not match its original definition in the constrained signature
Bug#802865: nss-passwords: FTBFS: ocaml/caml/config.h: error: conflicting types for 'int64'
Bug#802919: unison: synchronization incompatibility when built with Ocaml versions pre/post-4.02
Bug#803257: ITP: reactivedata -- FRP with incremental changes in data structures
Bytecode/native interoperability of .vo/.coq files
caml2html is marked for autoremoval from testing
camlimages_4.2.0-1_amd64.changes ACCEPTED into unstable
camlp4_4.02.1+3-2_amd64.changes ACCEPTED into unstable
camlp5_6.14-1_amd64.changes ACCEPTED into unstable
cduce is marked for autoremoval from testing
cmigrep_1.5-13_amd64.changes ACCEPTED into unstable
Coccinelle dependencies
coccinelle is marked for autoremoval from testing
coccinelle_1.0.2.deb-1_amd64.changes ACCEPTED into experimental
coccinelle_1.0.3.deb-1_amd64.changes ACCEPTED into experimental
coccinelle_1.0.3.deb-2_amd64.changes ACCEPTED into unstable
coinst_1.9.1-2_amd64.changes ACCEPTED into unstable
coq-float_8.4-5_amd64.changes ACCEPTED into unstable
coq-float_8.4-5_amd64.changes REJECTED
coq_8.4pl4dfsg-2_amd64.changes ACCEPTED into unstable
coq_8.4pl4dfsg-3_amd64.changes ACCEPTED into unstable
dose3 is marked for autoremoval from testing
dose3_4.0.2-2_amd64.changes ACCEPTED into unstable
easy-format is marked for autoremoval from testing
eliom is marked for autoremoval from testing
findlib_1.5.5-2_amd64.changes ACCEPTED into unstable
freetennis_0.4.8-10_amd64.changes ACCEPTED into unstable
galax is marked for autoremoval from testing
galax_1.1-13_amd64.changes ACCEPTED into unstable
headache_1.03-25_amd64.changes ACCEPTED into unstable
Help building coccinelle with new ocaml
hevea_2.23-2_amd64.changes ACCEPTED into unstable
hlins_0.39-21_amd64.changes ACCEPTED into unstable
js-of-ocaml_2.5-1_amd64.changes ACCEPTED into unstable
lablgl_1.05-2_amd64.changes ACCEPTED into unstable
lablgtk-extras_1.5-1_amd64.changes ACCEPTED into unstable
lablgtk2_2.18.3+dfsg-1_amd64.changes ACCEPTED into unstable
labltk_8.06.0+dfsg-2_amd64.changes ACCEPTED into unstable
labltk_8.06.0+dfsg-3_amd64.changes ACCEPTED into unstable
ledit_2.03-4_amd64.changes ACCEPTED into unstable
liquidsoap is marked for autoremoval from testing
lwt_2.5.0+1-1_amd64.changes ACCEPTED into unstable
mathcomp_1.5-4_amd64.changes ACCEPTED into unstable
matita is marked for autoremoval from testing
meta-ocaml is marked for autoremoval from testing
mldonkey_3.1.5-3_amd64.changes ACCEPTED into unstable
Neem actie tegen wanbetalers
nss-passwords is marked for autoremoval from testing
nurpawiki is marked for autoremoval from testing
obus_1.1.5-4_amd64.changes ACCEPTED into unstable
ocaml-atd is marked for autoremoval from testing
ocaml-batteries_2.3-1_amd64.changes ACCEPTED into unstable
ocaml-doc_4.02-1_amd64.changes ACCEPTED into unstable
ocaml-http is marked for autoremoval from testing
ocaml-lastfm is marked for autoremoval from testing
ocaml-lastfm_0.3.0-4_amd64.changes ACCEPTED into unstable
ocaml-reins_0.1a-6_amd64.changes ACCEPTED into unstable
ocaml-ssl_0.5.1-1_amd64.changes ACCEPTED into unstable
ocaml-tools_20120103-4_amd64.changes ACCEPTED into unstable
ocaml-usb_1.3.0-3_amd64.changes ACCEPTED into unstable
ocaml_4.02.3-3_amd64.changes ACCEPTED into unstable
ocaml_4.02.3-4_amd64.changes ACCEPTED into unstable
ocaml_4.02.3-5_amd64.changes ACCEPTED into unstable
ocamldap is marked for autoremoval from testing
ocamldap_2.1.8-10_amd64.changes ACCEPTED into unstable
ocamlify_0.0.2-3_amd64.changes ACCEPTED into unstable
ocamlnet is marked for autoremoval from testing
ocamlnet_4.0.4-1_amd64.changes ACCEPTED into unstable
ocamlodbc_2.15-6_amd64.changes ACCEPTED into unstable
ocamlrss is marked for autoremoval from testing
ocamlwc_0.3-12_amd64.changes ACCEPTED into unstable
ocamlweb_1.39-3_amd64.changes ACCEPTED into unstable
ocsigenserver is marked for autoremoval from testing
ocsigenserver_2.6-1_amd64.changes ACCEPTED into unstable
opam is marked for autoremoval from testing
otags_4.01.1-2_amd64.changes ACCEPTED into unstable
planets_0.1.13-15_amd64.changes ACCEPTED into unstable
planets_0.1.13-16_amd64.changes ACCEPTED into unstable
polygen_1.0.6.ds2-14_amd64.changes ACCEPTED into unstable
ppx-tools_0.99.2-4_amd64.changes ACCEPTED into unstable
Processed: block 789133 with 801459
Processed: closing 727044
Processed: found 802096 in 0.4+nmu1, found 802096 in 1.1.1-1, tagging 802055, tagging 790352, tagging 801802
Processed: found 802347 in 4.02.3-2
Processed: liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite /usr/lib/ocaml/stublibs/dlllabltk.so
Processed: merge 227623 252336
Processed: Re: Bug#394946: unison: merge2 option rejected
Processed: Re: Bug#801550: ocamlnet: FTBFS on hppa -- unterminated string literal
Processed: Re: Bug#802347: mlpost: FTBFS: mlpost.mli: lexing: empty token
Processed: retitle 801550 to ocamlnet: FTBFS -- unterminated string literal, tagging 801550
Processed: tagging 801773
Processed: tagging 802268, tagging 802264, tagging 802187, tagging 802184
Processed: unblock 800438 with 788671, block 800438 with 786671
Processing of aac-tactics_0.4-5_amd64.changes
Processing of ben_0.7.2_amd64.changes
Processing of ben_0.7.3_amd64.changes
Processing of bibtex2html_1.98-3_amd64.changes
Processing of camlimages_4.2.0-1_amd64.changes
Processing of camlp4_4.02.1+3-2_amd64.changes
Processing of camlp5_6.14-1_amd64.changes
Processing of cmigrep_1.5-13_amd64.changes
Processing of coccinelle_1.0.2.deb-1_amd64.changes
Processing of coccinelle_1.0.3.deb-1_amd64.changes
Processing of coccinelle_1.0.3.deb-2_amd64.changes
Processing of coinst_1.9.1-2_amd64.changes
Processing of coq-float_8.4-5_amd64.changes
Processing of coq_8.4pl4dfsg-2_amd64.changes
Processing of coq_8.4pl4dfsg-3_amd64.changes
Processing of dose3_4.0.2-2_amd64.changes
Processing of findlib_1.5.5-2_amd64.changes
Processing of freetennis_0.4.8-10_amd64.changes
Processing of galax_1.1-13_amd64.changes
Processing of headache_1.03-25_amd64.changes
Processing of hevea_2.23-2_amd64.changes
Processing of hlins_0.39-21_amd64.changes
Processing of js-of-ocaml_2.5-1_amd64.changes
Processing of lablgl_1.05-2_amd64.changes
Processing of lablgtk-extras_1.5-1_amd64.changes
Processing of lablgtk2_2.18.3+dfsg-1_amd64.changes
Processing of labltk_8.06.0+dfsg-2_amd64.changes
Processing of labltk_8.06.0+dfsg-3_amd64.changes
Processing of ledit_2.03-4_amd64.changes
Processing of lwt_2.5.0+1-1_amd64.changes
Processing of mathcomp_1.5-4_amd64.changes
Processing of mldonkey_3.1.5-3_amd64.changes
Processing of obus_1.1.5-4_amd64.changes
Processing of ocaml-batteries_2.3-1_amd64.changes
Processing of ocaml-doc_4.02-1_amd64.changes
Processing of ocaml-lastfm_0.3.0-4_amd64.changes
Processing of ocaml-reins_0.1a-6_amd64.changes
Processing of ocaml-ssl_0.5.1-1_amd64.changes
Processing of ocaml-tools_20120103-4_amd64.changes
Processing of ocaml-usb_1.3.0-3_amd64.changes
Processing of ocaml_4.02.3-3_amd64.changes
Processing of ocaml_4.02.3-4_amd64.changes
Processing of ocaml_4.02.3-5_amd64.changes
Processing of ocamldap_2.1.8-10_amd64.changes
Processing of ocamlify_0.0.2-3_amd64.changes
Processing of ocamlnet_4.0.4-1_amd64.changes
Processing of ocamlodbc_2.15-6_amd64.changes
Processing of ocamlwc_0.3-12_amd64.changes
Processing of ocamlweb_1.39-3_amd64.changes
Processing of ocsigenserver_2.6-1_amd64.changes
Processing of otags_4.01.1-2_amd64.changes
Processing of planets_0.1.13-15_amd64.changes
Processing of planets_0.1.13-16_amd64.changes
Processing of polygen_1.0.6.ds2-14_amd64.changes
Processing of ppx-tools_0.99.2-4_amd64.changes
Processing of prooftree_0.12-2_amd64.changes
Processing of react_1.2.0-1_amd64.changes
Processing of reactivedata_0.1-1_amd64.changes
Processing of ssreflect_1.5-3_amd64.changes
Processing of tophide_1.0.3-1_amd64.changes
Processing of tyxml_3.0.0-2_amd64.changes
Processing of tyxml_3.5.0-1_amd64.changes
Processing of why_2.34-4_amd64.changes
Processing of xmlrpc-light_0.6.1-4_amd64.changes
Processing of xstrp4_1.8.1-2_amd64.changes
Processing of xstrp4_1.8.1-3_amd64.changes
prooftree_0.12-2_amd64.changes ACCEPTED into unstable
pxp is marked for autoremoval from testing
react_1.2.0-1_amd64.changes ACCEPTED into experimental
reactivedata_0.1-1_amd64.changes is NEW
ssreflect_1.5-3_amd64.changes ACCEPTED into unstable
ssreflect_1.5-3_amd64.changes REJECTED
tophide_1.0.3-1_amd64.changes ACCEPTED into unstable
tyxml is marked for autoremoval from testing
tyxml_3.0.0-2_amd64.changes ACCEPTED into unstable
tyxml_3.5.0-1_amd64.changes ACCEPTED into unstable
U hebt er genoeg van om sociale lasten te betalen?
why_2.34-4_amd64.changes ACCEPTED into unstable
xmlrpc-light is marked for autoremoval from testing
xmlrpc-light_0.6.1-4_amd64.changes ACCEPTED into unstable
xstrp4_1.8.1-2_amd64.changes ACCEPTED into unstable
xstrp4_1.8.1-2_amd64.changes REJECTED
xstrp4_1.8.1-3_amd64.changes ACCEPTED into unstable
yojson is marked for autoremoval from testing
The last update was on 08:09 GMT Sun May 19. There are 234 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc