gnatprove.gpr: info: Parsing "/home/chouteau/src/github/alire/docs.ada.dev/tmp/gnatprove/12.1.1/gnatprove_12.1.1_e1e1ce47/gnatprove.gpr"
gnatprove.gpr: info: search path:
gnatprove.gpr: info: /home/chouteau/src/github/alire/docs.ada.dev/tmp/gnatprove/12.1.1/gnatprove_12.1.1_e1e1ce47
gnatprove.gpr: info: /home/chouteau/.config/alire/cache/dependencies/gnat_native_12.1.2_66b989b5
gnatprove.gpr: info: /home/chouteau/.config/alire/cache/dependencies/gprbuild_22.0.1_24dfc1b5
gnatprove.gpr: info: /home/chouteau/.config/alire/cache/dependencies/gnat_native_12.1.2_66b989b5/x86_64-linux/share/gpr
gnatprove.gpr: info: /home/chouteau/.config/alire/cache/dependencies/gnat_native_12.1.2_66b989b5/x86_64-linux/lib/gnat
gnatprove.gpr: info: /home/chouteau/.config/alire/cache/dependencies/gnat_native_12.1.2_66b989b5/share/gpr
gnatprove.gpr: info: /home/chouteau/.config/alire/cache/dependencies/gnat_native_12.1.2_66b989b5/lib/gnat
gnatprove.gpr: error: project file "/home/chouteau/src/github/alire/docs.ada.dev/tmp/gnatprove/12.1.1/gnatprove_12.1.1_e1e1ce47/gnatprove.gpr" not found
raised GPR2.PROJECT_ERROR : /home/chouteau/src/github/alire/docs.ada.dev/tmp/gnatprove/12.1.1/gnatprove_12.1.1_e1e1ce47/gnatprove.gpr: fatal error, cannot load the project tree
ERROR: Command ["gnatdoc4", "-P", "gnatprove.gpr", "--output-dir", "/home/chouteau/src/github/alire/docs.ada.dev/crate/gnatprove/12.1.1", "--front-matter", "crate: gnatprove", "--no-subprojects"] exited with code 1