Ralf Treinen
Ralf Treinen
Unregistered User
Groups: Anyone
Posts in Debian
1234 ... 105
Show   Total: 2084 items
Date Subject Count Location
Bug#920229: ocaml-mode: Please convert to use dh-elpa 0 replies debian-bugs-dist
Bug#905940: convert package to dh-elpa 0 replies debian-bugs-dist
Bug#934347: dose3 FTBFS with OCaml 4.08.0 (safe strings) 1 reply debian-bugs-dist
Re: OCaml 4.08.0 and later... 2 replies debian-ocaml-maint
Bug#934506: ocaml-ffmpeg FTBFS on byte-code architectures 0 replies debian-bugs-rc
Re: OCaml 4.08.0 and later... 5 replies debian-ocaml-maint
Re: debian-ocaml-maint at debconf19 ? 7 replies debian-ocaml-maint
Re: debian-ocaml-maint at debconf19 ? 0 replies debian-ocaml-maint
debian-ocaml-maint at debconf19 ? 11 replies debian-ocaml-maint
Bug#927169: python-googlecloudapis: unsatisfiable build-dependencies in sid 0 replies debian-bugs-rc
Bug#927166: libbiod0: not installable in sid 2 replies debian-bugs-dist
Re: Comments regarding ocaml-qcheck_0.9-1_amd64.changes 1 reply debian-ocaml-maint
Re: Work-needing packages report for Mar 22, 2019 0 replies debian-www
Bug#887880: boinc-app-eah-brp: non-standard gcc/g++ used for build (gcc-5) 0 replies debian-bugs-rc
Bug#923431: containerd: unsatisfiable build dependencies 1 reply debian-bugs-rc
Re: why is blocking Coq 8.9 from entering testing 0 replies debian-ocaml-maint
Re: why is blocking Coq 8.9 from entering testing 2 replies debian-ocaml-maint
Bug#902618: why: needs porting to why3 version 1.0.0 0 replies debian-bugs-dist
Bug#922799: [dpkg-maintscript-helper] bug in finish_dir_to_symlink 0 replies debian-bugs-dist
Bug#922692: galax: FTBFS on ppc64el - ERROR: unable to find camomileLibrary.cmi in /usr/lib/ocaml/camomile 0 replies debian-bugs-dist
1234 ... 105