Christopher Zimmermann-2
Christopher Zimmermann-2
Unregistered User
Groups: Anyone
Posts in OpenBSD Archive
1234 ... 8
Show   Total: 155 items
Date Subject Count Location
Re: [patch] devel/ocaml-biniou 1.2.0 -> 1.2.1 1 reply openbsd user - ports
Re: [patch] x11/lablgtk3 3.0.beta6 -> 3.1.0 0 replies openbsd user - ports
Re: [patch] lang/ocaml-camlp5 7.08 -> 7.11 0 replies openbsd user - ports
Re: [patch] math/coq 8.10.0 -> 8.11.0 2 replies openbsd user - ports
Re: carp: send only IPv4 carp packets on dual stack interface 5 replies openbsd dev - tech
carp: send only IPv4 carp packets on dual stack interface 10 replies openbsd dev - tech
/usr/bin/ftp: 308 Permanent Redirect 2 replies openbsd dev - tech
/bin/cp: overwrite symlink with file pointed to by symlink 2 replies openbsd dev - tech
Re: C preprocessor search paths 0 replies openbsd user - ports
Re: C preprocessor search paths 3 replies openbsd user - ports
Re: databases/lmdb: add pkg-config lmdb.pc / search paths 7 replies openbsd user - ports
databases/lmdb: add pkg-config lmdb.pc 11 replies openbsd user - ports
fix math/coq on arm64 2 replies openbsd user - ports
math/coq: fix plist for bytecode-only build 1 reply openbsd user - ports
Re: Update: lang/ocaml 4.09.0 3 replies openbsd user - ports
Re: net/unison: document workaround for incompatible OCaml versions 0 replies openbsd user - ports
Update: lang/ocaml 4.09.0 7 replies openbsd user - ports
Re: move ocaml-graphics to a separate port 0 replies openbsd user - ports
Re: apmd battery emergency message 1 reply openbsd dev - tech
move ocaml-graphics to a separate port 3 replies openbsd user - ports
1234 ... 8