-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 thanks Daniel, I found "minor cleanup" is already checked in. I don't have enough resource now to try the update yet, but please go ahead to 8.6 update.
> i'm not an opam expert but i think this makes more sense for ocaml modules > than for applications that happen to be written in ocaml. i personally like > the ports system where i can just pkg_add to get a pre-built binary for > things like coq. but like i said, i'm not really expert enough to properly > weigh in here so will leave that to others. I'm another opam beginner, but totally agree to this comment. -- yozo. -----BEGIN PGP SIGNATURE----- iQIyBAEBCAAcBQJYsmalFRx5b3pvQHYwMDcudmFpby5uZS5qcAAKCRB+B2lyJHdb 7G5wD/4ky9U2uxFalsJRqSBFmiBDF1mP4LG4yJeIBejVfdqVe7pDOf8lQJW/Ajyp tSbhC0nW4qBeM8WIEWDAgkgbYUdTPxhpB0wR54dg4f8fSPaY+NQ9RsYwsH0MOPAz C4jxry5D/Vxi3GAJRWIIWgpQG/iM01moGe9yGCnWkT0JHemT4iH3UMi5bbZBGJBk +Wq/v01ulMa3NqIRjRfbmrGdaBlmaQmBHnZi5JM1gp9rnRoAbIZuzst0yxHzgo+C ADt0tTNzjqO9mZEDqXUQUHUSWgn2kxSgbkdjiasF562U8HJb5ab5xXmCYyqtrFFK zNUgHGW8IocBJy+ddNOcMvA3+ji/SWF4R33XqFzlyWssJg3nh0jUP5Z+KurZKjTO Z3SlxPT7ycm8rk1v7/iKmtmAGvHoU6rk+rd/h2rFgmc89IvfQ27WZ1hPHAelKNja Zgo696wRZvhpCrgL3SP/aAT4w6H6btthzThWCkPsMpBNDOc9INKAdeobwgOFbY7v tiNiDe6geG/z0SHHZu1MfqNOWtPQ70kqD0T3oyMmc/7tA7u5qvNKEkI7eBZKpWqt RexELw1RjIqwha3BK0U2TZx2UzKaaCL9QMlUZ7w0s+t8n3Zl4QV7pxhvzyTft1E5 MU16PSNtKqV1l0Q+9n7Mw+jPnrs2GijbRnKWQQdx6jw/eSyw/g== =TWx8 -----END PGP SIGNATURE-----
