commit coq for openSUSE:Factory

2020-08-06 Thread root
Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2020-08-06 10:42:44 Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.3399 (New) +

commit coq for openSUSE:Factory

2020-06-07 Thread root
Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2020-06-07 21:37:49 Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.3606 (New) +

commit coq for openSUSE:Factory

2020-04-09 Thread root
Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2020-04-09 23:17:16 Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.3248 (New) +

commit coq for openSUSE:Factory

2020-03-30 Thread root
Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2020-03-30 23:02:48 Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.3160 (New) +

commit coq for openSUSE:Factory

2020-02-15 Thread root
Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2020-02-15 22:26:16 Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.26092 (New)