Code

Fix coqdev compilation#44

Code

Merged

aleksnanevski merged 2 commits intomasterimdea-software/fcsl-pcm:masterfrom v2.0imdea-software/fcsl-pcm:v2.0Copy head branch name to clipboardSep 18, 2024

+63-49

Commits

Commits on Sep 10, 2024

• updating to coqdev

  aleksnanevski

  committed
  8fd2f04

  Copy full SHA for 8fd2f04

Commits on Sep 17, 2024

• preparing v2.0 for release

  aleksnanevski

  committed
  8c51edd

  Copy full SHA for 8c51edd