update Makefile

Just using an MR to make sure this builds on CI.

enabled an automatic merge when the pipeline for 19336d3d succeeds

canceled the automatic merge

added 1 commit

• 59eef752 - update build system

Compare with previous version

@robbertkrebbers with this, the opam file is now called coq-stdpp.opam instead of just opam -- that helps sharing infrastructure with the multi-packet approach, and it generally seems to be the recommended style nowadays.

added 1 commit

• c1a33c4f - remove now-redundant package name from opam file

Compare with previous version

enabled an automatic merge when the pipeline for c1a33c4f succeeds

merged

mentioned in commit 0ee1418d