renaming

proofs/chainprops/Makefile

+all: psnj-chainprops
+
+_build/default/chainprops.exe: chainprops.ml
+	@dune build
+
+psnj-chainprops: _build/default/chainprops.exe
+	@cp -f _build/default/chainprops.exe psnj-chainprops

proofs/psnj_chainprops/psnj_chainprops.opam → proofs/chainprops/chainprops.opam

@@ -2,8 +2,8 @@
 opam-version: "2.0"
 depends: [
   "dune" {>= "2.9"}
-  "cmdliner" {>= "1.0.4"}
-  "angstrom" {>= "0.15.0"}
+  "cmdliner"
+  "angstrom"
   "odoc" {with-doc}
 ]
 build: [

proofs/psnj_chainprops/dune → proofs/chainprops/dune

 (executable
- (name psnj_chainprops)
+ (name chainprops)
  (libraries angstrom cmdliner))

proofs/psnj_chainprops/dune-project → proofs/chainprops/dune-project

 (lang dune 2.9)
-(name psnj_chainprops)
+(name chainprops)
 
 (generate_opam_files true)
 
 (package
- (name psnj_chainprops)
+ (name chainprops)
  (depends
-  (cmdliner (>= 1.0.4))
-  (angstrom (>= 0.15.0))))
+  cmdliner angstrom))

proofs/psnj_chainprops/Makefile

-all: psnj-chainprops
-
-_build/default/psnj_chainprops.exe: psnj_chainprops.ml
-	@dune build
-
-psnj-chainprops: _build/default/psnj_chainprops.exe
-	@cp -f _build/default/psnj_chainprops.exe psnj-chainprops