PSL Base Library for Coq 8.12

v1.0.2-8.12

lia -> omega

PSL Base Library for Coq 8.11 v1.0.1

v1.0.1-8.11

Fix compilation

PSL Base Library for Coq 8.11

v1.0-8.11

Updates for Coq 8.11

PSL Base Library for Coq 8.10

v1.0-8.10

Add make target