coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Gaëtan Gilbert <gaetan.gilbert AT skyskimmer.net>
- To: Coqdev <coqdev AT inria.fr>, coq-club AT inria.fr, coq+announcements AT discoursemail.com
- Subject: [Coq-Club] Coq 8.19.2
- Date: Mon, 10 Jun 2024 13:28:33 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gaetan.gilbert AT skyskimmer.net; spf=Pass smtp.mailfrom=gaetan.gilbert AT skyskimmer.net; spf=Pass smtp.helo=postmaster AT relay7-d.mail.gandi.net
- Ironport-data: A9a23:0jefr6/ssSLSoPTpXhz2DrUDInqTJUtcMsCJ2f8bNWPcYEJGY0x3n TAYDT/XPPrfNjOhe993Odzg8xlT7JHWzNJjQVFt+C9EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYkWo4ow/jb8k834q2q4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE4dVqLUYkJNMiwrxpH0JQq aY8dQJWV0XW7w626OrTpuhEnMknJdi0eY9Zv3hhyXfWBPAqQNbFTrmiCd1whm5vwJ8WW6+OP IxDMWIHgBfoO3WjPn8YAZ8ileHuiXj7eTBCtHqOprss4GnWyQFrlr7gLLI5f/TTG5QFwhnI/ juuE2LRGA8Ed/e57zy+6VGv2LGRxDHCcqEXC+jtnhJtqAfCnjNPVUV+uUGAifK+kwu1X89VA 1cF/zIn66k07k2iCNfnNzWzp2eIswA0QMtVC+R86QeXy6OS7RzxO4QfZiRMbNU364o6Azkj1 1vPkNrvCT0ptrCJIZ6AyluKhRGSPQkSP3ZcXxdeUxUm/YW5hNwB1SuaG76PD5WJptHyHDjxx RWDoy4/m6gfgKY3O0OToA6vb9WE+8ihc+Il2jg7SF5J+StXXuaYi2GA81Xf5OcfaYrfS1CAu D4Lks6S7aYIAI3leM2xrAclQ+3BCxWtamW0bbtT838Jq2/FF5mLId043d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPe5SoW4CaCENoAXOvCdkTNrGgkzNSZ8OEizyCARfV0XZ 83znTuEUS5LV/wPIMSeGr5GuVPU+szO7TmCHc+nkkzPPUu2a3eTRbZNK1KVBt3VH4vayDg5B +13bpPQoz0GCLOWSnCOreY7cwpWRVBlXsueg5IMKYa+zv9OQz1J5wn5mu55J+SIXs19yo/1w 51KchYBkQek2S2fdlXih7IKQOqHYKuTZEkTZUQEVWtEEVB5CWp2xPZOK8kEbvM8+fZ9zPV5a fAAdo/SSr5MUznLsXBVJ5X0sIUoJlzhiBOsLhiVRmE1X6dhYAjVpf7iXA/krxcVAgSN6MARn ryH1yHge6QleThMNsjtRcyK80KQplkYweJ7YFvJKIJceWLq64lbFBbyhf4WfeAKCxHJ6RXH8 RfPAjMd/OnEnJAowoPnmJKrrJqjFtUmP0tFHlv06aS9Gjna81GCn65BcresVhLMWFzk/J6NY b1u8Mj9F/kcjnNmgpFZAZ8y6Y4fvvzB/6R7yCZgF1X1N2WbMKtqeCS67JMep59zya98kirof EC2o/1xG6iDYeHhG34vfDsVVPyJj6woq2OD/MYOARvI4QFs9+C6SmRUBR6HjRJdIJZTMI8Ix eQAutYc2zegiygFY8q3sSRJy1uidnAwcb0rlpU/Mr/ZjgAGzlJjY5uFLgTU5JqJSctHM2h0A zuyqZfBuY9hxRv5QyJuLUTO4OtTvoRRmRZoyFRZGU+FtOCYjdAK3TpQ0w8NcCJr8jt93dleA FNbb39OGf3W/hNDptRyYGS3KgQQWDyb4hPQznUKpk34Tm6pdH7Ed2kvMLyJ4EomzXN4e2Vf8 Jq500fgay7hJ+vq7xsxWGlkiv3tdsNw/Qv8g/KaH9yJMp05QDj9iIqsWDY4kATmCsYPm0H3n +lm0+JuY6ndNyRLgakEJ6SF9LYXEjaoGXdjRKx/waY3Am3sQjG+9jyQIUSXeMkWBfjr81e9O vN+NPB0SBWy+yafnA81XZdWDedPo8cow94edpfAB20M6eKfpwU0lqPgzHH1gWtzTuh+lco4F JjqSAuDNW6tnlpRpX7GqZhVG2i/YORcXjbG4sKOzLwrGa4A4cZWSmNj9puvvn6QDhlrwALMg iPHeJ3t7rJDzaZCotLSN5ttViuILeH9buCqyDyIks9vaIrPOPjetglOpVjAOR9XDIQrWN92t Oqstvjt0XPjpr8JCnzrq7icHax3veSzQ+tlHcblJ1ZKnSa5eZHN4jlS30uaOJB2gNdmyc3/f DSBaey0bs8zZ9dR4FZ3ehpuOU8RJIqvZ5ixuB7nieqHDyYs9DDuLfSlxCfPVn5afCpZAK/OI Fb4lNj27+8JsbkWIgEPAsxnJJpKIFXDf68CXP+pvBm6CliYuH+zioHApzEBtw6SUmKlFfzk6 63rXhL9LRS+mJ/ZxeFj7rBdgEclM2Zfs8IRIGQm5N9EuxKrBjUnLMMcE6k8JLN6ryjQ7Kz8N RbxNDYMKCOkUTp9JEC2pJypWwqEHeUBN+voPjFjrQvedy6yA5jGG7d7sDtp53BtYDb40eW7M pck92btOgSqiIRcLQrJCidXXc88rh8b+p4Jxaw5u9b/Bx8PXvAGknloHQ4LWiXBH8CLkkjXT YTwbX4RW1m1ECYdDu45E0O52jlA1N8s89nsRTyM0c3cuoCewfcGzvDjUw02+qNWd9wEfdbiW luuL1ZgIAmqNrg7oqg4oNEohKp5E7SNE9TSwGoPg+ENt/nY11nL9P/uUcbCoA/ONeKf/57ge uGQ3kUD
- Ironport-hdrordr: A9a23:+uGMLqt7qDkYzOZDGnEcnVUH7skDWNV00zEX/kB9WHVpm5Sj5q eTdPRy73DJYUUqKRcdcLG7SdO9qBznhP1ICOUqUItKGTOW3FdAT7sSkLcKoQeQeREWn9Q1vc wLT0E9MqyUMbEQt6jHCXyDc+rIt+PnzEnHv4vjJjxWPHhXgulbnn9E4yigYzZLeDU=
- Ironport-phdr: A9a23:jqzFJRycV/2EILHXCzLgw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z h2Zvqw1xwSYFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PXbglSijexfK9+I Bq4oAjVq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/WfKgcJyka1bugqsqR9xzYHbbo6bKvpwcL7Bct0VXmdBQsVcWjZdDo+gc YcCDewMNvtYoYnnoFsOqAOzCwi2C+Tz1j9HnHn21rA73eQgFQHJxxIvH8gSsH/Jq9j1O70dX v6pzKbSyzXPdfxW2Tb56IfTbB8hu+2MUKlrccrSyUgvDADFjlSVqYzgITyVzP4Bs26F4Op8T O+ijXMspA5trDa13MgslpXJiZwPylDC7Sh13Zg5KcC4RUB7fdKoDZRduiOYOoZ0QM4vQG9mt Sc4x7AEtpC2YisHxZckyhPCaPGKbpSF7xbsWuiRITp0mHJodbSijBi89kigz/fzVsiy0FtSr ypFlMPMtnEX2BDJ5MiHUP1w9Vqi1zaXzw3f9PxILEIumafZN5It2KM8m5kdvEjZACP6hFn6g amLfUg6/uio9v/nYqn4qZ+GKoF0iwD/Pbo2l8CjB+kzLxIAUHKB+eum0b3u5U35T6tOjv0xi qTZqo7VJcABqa+5AQJZy5ss5wy6Dzi80dQYmWMLLF1fdxKBkofpOkvCIPbmAvejm1iskTFry O7aPrD5HJnBM3rOnK3jcLph8UJQ1Qk+wN5F655KFr0NPOr/Wkrru9zZCh85PRa0w+HiCNhl2 YMRQ3yAArODP6PUq1OI6eMvI+2Xa4ALojb9N+Mo5+XtjX45gl8dfqip3Z4SaH+mBPRqOUOZb mTwgtsZF2cFpRIxTPb2h12aTT5Te3GyUroi6j0jEoKpEZ/DRpyxgLyGxCq0AppWZnlfBl+QF Xfoap6LVuwXaCOSJ89hiiYLWaKgS48nzxGutRX1x6BpLurO4iEYr47s1MBp5+3PkhE/7SB7D 8OE026QUW50gHgFRyQ23aB6uUxy0E2P0al+g/xCFNxc/elFUgkgNc2U8+svINfrVg/fNoOCT 0+qT8uOADcrT9t3zcVYJw52HMznhRTe1QKrBaUUnvqFHth8+aXFnHH3IcFgzX3L0aQnk0IOT spUPmq7nLVy8gHSA8jClEDKubytcPEz1a3R/WHL4muKtkxCTEYkXqzIQXkZIETXqd70/F/qV Ly/ErcmNw5M04iEJ7ccOY6htklPWPq2YIeWWGm2gWrlXX5gp5uJZYvuISAG2TnFTVIDmEYV9 GqHMg43AmGgpXjfBXpgDwGneFvipM95rn7zVUoo10eSdUQ02LO45hcTw/OdT/kexK4soyQws DZ1GVOwxZTQBsbT7xF5cvBkaMgmqExCyXqfsgV8OpK6KKU3iVcTbw1x+Uzv0x96EJloiss7t 3AryQ9/M+Se3U8SPyiA08XIM6bMYnL34Ajpa6PS3QTG182K/64U9Pkig0/uuAi4SQ8utXBu0 t0T3HKa6pSMCgcOOX7oemAw8RUy57TTYy1nopjRyWUpK66/9DnLx9MuAuIhjBemZdZWdq2eR kf0FIUBCs6iJfZP+RDhZw8YPO1U6K8/Pt+3P/qA1qmxOe98nTWgxW1Z6YF520iI+mJyUOnNl 5oCxviZ2EOAWVKexB+uu83rkIYCajAWFGel1QD/B59KZax3eIsRT2GjP4z/x9lzgYLsR28N7 ESqVDZkkIeifRufaUC43BUFjx1I5yP/33LolHouy2l6y8jXlDbDyOnjahcdb2tCRW04yEzpP ZDxldcRGk6hcwkukhKho0f83alS4qplfAyxCQ9FeTb7K2Z6X+6+rL2HNoRA4Z40uCMRX+W4a 12AVpbmoAoB0CLmGmZEgjY2a3v53/ex1ww/k2+bIHtp+TDWcMxszBGZ693YT/NLwhIdRzhji jjSA1Wmed+k4Z/H8vWL+vD7XGWnWJpJdCDtxo7Vryq361phBhinluyykNnqeeQj+RfyzMIiF SDBrRKmJ5Luy7z/K+VsOE9hGF777cN+XIB4iIo5wp8KizAWgZCc/HxPlmmWU50T1qvzcHMLA zEKx9TY+hTNw05yNXGIwof0TDObz9cpa9ShY2wQ0z4w9IgQUfjSs+QCxHsu5ADg9UrYep0f1 n8FxOEr6WIGju1BowcrwiiHQ/gTEUReIS3whkGN5tG6or9QYTXKE/D4305/kNa9SbCa91sFB zCmItF7TXQ2tJ0nYzeumDXp54rpecfdd4cWvxyQyVLbivRNbYg2nbwMjDZmPmT0uTskzfQ6h Fpgx8Lf3sDPJmNz8aa+GhMdOCfyYpZZ9Tjgka9Y2MmX24qiBIlJATYaR5jpSPelCnQUuOitZ GPsWHUs72yWH7bSB1rV505rs3vJVZ+qM3uaPmUx1tZzXxqcIUlSmkYSUSlwzftbXki6gcfmd kl+/DUY4FX1/wBNxuxfPB76Sm7DpQ2sZ2R8WN2FIRFR9A0H+1bNPJnU8LdoBy8BtM7EzkTFO imBag9PF21MRkGUGwWpIOy1/deZu+mAWrjkdqSIPu3I8LMOEa7Zn9X1jO4Et36NLpvdZCE6V q9n0BsTD3xyR5aJyWdIFXBfljqRPZTC+1Hjomsu/pv5qaWxH1i/gOnHQ7pKbYc1ok/w3v/Fb r7Kwnkjbm0CnpIUmS2SkedZgwZU0nE0MWbxVu9a/XnESKaa8kNOJyYScDg7dM5B7qZmmxJIJ daekNT+kLhxkv8yDV5BE13ngMCgI8IQcSmxM1bOBUDDM7rjR3WD28bsfaa1UqFdls1Ouhm5q GneHwnmNzWH0TbgURyud+dBkGmXMQdft4e0bht2QTK6E5S5MlviYIQx12VupN98znrRfXYRK z19b19AovWL4CVUj+8+U21N43x5LPWVziaU6+6LYp0SsPZtHmF1j7cAuSt8lOMTtXEfAqYtw Hi3zJYmuVytn+iRxyAyVRNPrmwOn4eXpQB4Pq6f8JBcWHHC9RZL7GOKCh1MqcE2b7+n861W1 NXLk7r+bTlY9NeBt8QVCtTdLoSIMX4rPAD1MCXXHRAGTDuuOHuZgUFB2qL3lDXdvt0hp57gl YBbAKdcT0AwH+gGB15NBtEGKYYoGz9ilLeaiIgH7HyyrV/XSdkQ7fWlHrqCRP7oLjiel7xNY RAFlKj5IYokPYr+w0V+a1N+kdeCCw/KUNtKuCEkch4srRAH7i1lVmNqkRGACEvl8DoJGPWzh BJzlgZufbFn6mL3+1lublOC4SI0lANZcTrNmjOAaz3wKaK9R8dQBjam7iDZ17vgQBdubgy3m EF+cjHJW+AJ51OBXXpmjAbN5t5DX/tVTKkCbxYWyfDRYfg0gw00lw==
- Ironport-sdr: 6666e363_8D0Z4WqUjYOMU9BZhSsdh/a1CPS9FTwn0+YGMAsMvfG44eQ AZabHkkrwNfSdbQ7c9rQkAmJPiTJ1WqERlFl8gg==
The tag for 8.19.2 has been set to commit
d739f8d6f60d623fe20933a8506e53f3d6391eaa.
Coq 8.19.2 fixes a number of bugs.
Coq 8.19.2 is compatible with memprof-limits interruption methods. This
means that Coq will be recompiled when the library is installed /
removed from an OPAM switch.
See the changelog
https://coq.inria.fr/doc/v8.19/refman/changes.html#changes-in-8-19-2 for
details.
--
Gaëtan Gilbert
- [Coq-Club] Coq 8.19.2, Gaëtan Gilbert, 06/10/2024
Archive powered by MHonArc 2.6.19+.