Worked on the coq/opam repository to update the opam package definition for coq-plouffe, ensuring compatibility with Coq version 8.20. This involved aligning package dependencies, specifying the correct source archive, and coordinating the release of version 1.5.0 to support seamless builds and usage with the latest Coq release. The work focused on OCaml ecosystem tools, particularly opam packaging and package metadata management, with attention to dependency pinning and change tracking in the commit history. These updates improved installability and compatibility for users and downstream projects relying on Coq 8.20, maintaining stable integration within the OCaml package management workflow.