guix, branch rocq-wip

Patched Package CI script.

2026-04-08T00:12:37Z

* package-ci.bash: Passing the -p argument to patch-checklist.bash Change-Id: I4a410c7b31bab36cf9e46068bfac28f9a049f817

Runtime profiles fixed. Package definitions cleaned up.

2026-04-08T00:12:37Z

* RocqExample.v: An example Rocq file to test the REPL. * gnu/packages/rocq.scm: Reflected Rocq opam package defintitions in Guix definitions. Used propogated-inputs and native-search-paths. Led to several simplifications. Added clearer synopses. * test-rocq.bash: Exercises the build and simple usage of rocq. Change-Id: Ia9fb52b54219de666fff27511c71f642c18ff845 Signed-off-by: Dan Rostovtsev

Added notes about Guix profiles and Rocq packaging.

2026-04-08T00:12:37Z

Change-Id: Iebd4ec69d1d48bad9d7369a8512b289a5f53569f

"rocq-core" now builds. Runtime profiles need fixing.

2026-04-08T00:12:37Z

Change-Id: Ifee7d63dd88c1c5e5fa85933d53853ba3654b84e

Added all project target from rocq. rocq-core does not build.

2026-04-08T00:12:37Z

Change-Id: Ic287abe3b1bddc0dd01acc7402f4f576322cfb94

Added build-flags and test-flags for serial build and check phases.

2026-04-08T00:12:37Z

Change-Id: I171f0ab64e431567749341472ce27ddce5297aa6

Removed unnecessary configure step from rocq build.

2026-04-08T00:12:37Z

Change-Id: I81ff77d22ab261343b0c2154824e9b36c042735b

First working version with dune-build-system + #:package pattern.

2026-04-08T00:12:37Z

Change-Id: Ib29d62fee710fc81ec742c506de3558e325b4af5 Signed-off-by: Dan Rostovtsev

Added package integration tests script.

2026-04-08T00:12:37Z

Change-Id: I73c9d302632661da6066393a5cec56629181a011 Signed-off-by: Dan Rostovtsev

Added build to start of patch checklist.

2026-04-08T00:12:37Z

Change-Id: I4e3ad9f361ef44a205e8207b112cf938398e35d1