FLG -rectypes -thread -w @1..50@59-4-44

S src
B src

PKG threads threads.posix coq.intf coq.ltac coq.idetop
