Christopher Zimmermann-2
Christopher Zimmermann-2
Unregistered User
Groups: Anyone
Posts in OpenBSD Archive
1234 ... 7
Show   Total: 140 items
Date Subject Count Location
Re: net/unison: document workaround for incompatible OCaml versions 0 replies openbsd user - ports
Update: lang/ocaml 4.09.0 2 replies openbsd user - ports
Re: move ocaml-graphics to a separate port 0 replies openbsd user - ports
Re: apmd battery emergency message 0 replies openbsd dev - tech
move ocaml-graphics to a separate port 3 replies openbsd user - ports
Update: devel/dune to 1.11.3 1 reply openbsd user - ports
Re: Update: lang/ocaml 4.08.1 1 reply openbsd user - ports
Update: lang/ocaml 4.08.1 12 replies openbsd user - ports
Re: [Update] p5-HTML-Clean, p5-File-Find-Object, p5-Proc-Fork 1 reply openbsd user - ports
update math/coq 2 replies openbsd user - ports
Re: update devel/frama-c 1 reply openbsd user - ports
update devel/frama-c 5 replies openbsd user - ports
update: lang/ocaml-camlp5 to support upcoming OCaml 4.08 2 replies openbsd user - ports
(re)import some ocaml ports needed for math/coq and devel/frama-c updates 4 replies openbsd user - ports
(re)import some ocaml ports needed for math/coq and devel/frama-c updates 0 replies openbsd user - ports
grep -ob: behave like ggrep, adapt documentation 1 reply openbsd dev - tech
ADMtec aue interface does not work with full 1500 VLAN_MTU 1 reply openbsd dev - tech
net/mldonkey still in use? 5 replies openbsd user - ports
Re: mldonkey: use custom build of OCaml 3.12 1 reply openbsd user - ports
mldonkey: use custom build of OCaml 3.12 16 replies openbsd user - ports
1234 ... 7