f47861a8f544f69d00e22fea62e4a2fcf163eeb2 refs/heads/gh-pages
7f6e9e9b6c9ffa19a9040860da9f7a1f202b9f4d refs/heads/master
f0f3bea5d8fb556c3739080788d38bd868a67eb3 refs/heads/quantifiers
f03b3cc126edc8d6a2d4466d227fb41a1b2c2a14 refs/heads/v3.1.x-fixes
ab9c30b6e8e1d5c7d7a5b4e5d3b4640d0015cbe9 refs/meta/config
44e14a2cc485d4b71de61ad89fba7c0d4f093ef6 refs/tags/v.3.0.M3
f760d65675a1b3256f0b6e283d3b5f2b7fc2845c refs/tags/v.3.0.M3^{}
c3bcfeda8ec9ef84346056101403f466eb8389ab refs/tags/v1.77.1
7f521db0628086185123666b0979e48d6ecaeac1 refs/tags/v1.77.1^{}
fc3163a799c3298b6c79c99c530af2758c2c7a0a refs/tags/v2.0
eb4ca901cba0851c1cbcde5bc31bb38d77b66ff7 refs/tags/v2.0^{}
d75752c75f43ee2f76c8c530e6d62f944c463456 refs/tags/v2.0.1
4efc1ab14e9d6962ac7f42ad327a6273cfaf2607 refs/tags/v2.0.1^{}
edad53abeb493a83ce61d53bb32e5cebe28a3f6d refs/tags/v2.1
f34e053c8901e8d36d59a582c35e78dcd50d743a refs/tags/v2.1^{}
6fb3d96ad70fdb953f64b868f1fb431a700cbacb refs/tags/v2.1.1
e4ed0e4eebcfac0610a8c4de6495163678c1876f refs/tags/v2.1.1^{}
c3262b441baceb5fa2bc6682b8c4eb8366a2276e refs/tags/v2.1.2
5e0cb00edc1b1c2dd3b3aa52ee1c9fb97dd8c391 refs/tags/v2.1.2^{}
90104e74653149f8063ed6fa69c0bef919660ae7 refs/tags/v2.2
e50e49cc7788752b2849a6bc7126d0e206b58232 refs/tags/v2.2^{}
0c1a95b138a524275c903de8c213f104b5519b4f refs/tags/v2.2.1
122c6bc6024d4b5b276eb1f738473699f3663c67 refs/tags/v2.2.1^{}
d4d142885063bdd65da63f5898c492ea81952f38 refs/tags/v2.2.2
059f55e1604a98eae740a2d2e1e8fcec3ef29858 refs/tags/v2.2.2^{}
be0ce06c7dd7248a164dec0cbff7cc48aed2c16e refs/tags/v2.2.3
50c79a079898e59f62e0d506544d7557ddb21c15 refs/tags/v2.2.3^{}
532fcb795f80ad057b1b914551e610c49c77b4bd refs/tags/v2.2.4
aba762cb7f0ec4a432e327e916fc9ee51d6f02aa refs/tags/v2.2.4^{}
be91a57465b88d6446b51fa3cca9b2fd89b421ed refs/tags/v3.0
0a7bb9a98503b613df51e4eea1800a478f707436 refs/tags/v3.0^{}
a75fce6f37fed03bd36014c0bde75b1264442867 refs/tags/v3.0.1
51ce477be2f4bba577dc36568eb1d912f8a18bf2 refs/tags/v3.0.1^{}
36d19ce3049628a471872b5f12ac3158fa2bbd7b refs/tags/v3.0.2
b7c330991eac6667e9334d9006f4b2ab7a5b68d8 refs/tags/v3.0.2^{}
9409a074dc92ea813ca3b21f468ea3479951580e refs/tags/v3.0.M1
1653d312d452cbcf906044c02d9d5e6c204a5147 refs/tags/v3.0.M1^{}
695a0ee6b102d2d0cf42f3b0f7882d8afd68dbde refs/tags/v3.0.M2
4b7c4ca5eccfa249873ed365d2e839d5dd6ddbca refs/tags/v3.0.M2^{}
13e3779476f6026a663dd2fed78b578275a57857 refs/tags/v3.1
e1f2ab542e1b68a99038ba2ea83387148025e925 refs/tags/v3.1^{}
9c60e55d89c5e8fb079572a4ac3933c6139f935b refs/tags/v3.1.1
971b00bd06bc8e1e31f340c38046f6b45afaa638 refs/tags/v3.1.1^{}
f69a9e4a63cff1c2a4edd76517ac5d128eaf17df refs/tags/v3.1.2
3f88a5d365ea9838d5f377069ec3049306936fcd refs/tags/v3.1.2^{}
a744721a97561db264eedc61e49f6fc652d1a368 refs/tags/v3.1.3
cdc5c7c5812e911677190ceb5d48609f2e5f41c8 refs/tags/v3.1.3^{}
87dc2ae6727a9c192492c70be5ea72c00fc71693 refs/tags/v3.1.4
89bdd1e5f837dee2df82bea8bc9ea65661f5421a refs/tags/v3.1.4^{}
e38d9bf06bfc197db350e79982b83c3657723195 refs/tags/v3.1.5
f03b3cc126edc8d6a2d4466d227fb41a1b2c2a14 refs/tags/v3.1.5^{}
1e638a5d093ef2de4f54199e6980ef9e13af31d9 refs/tags/v3.2
9ba612d254394a2b4f98b56b9e1490ddb42fe855 refs/tags/v3.2^{}
29b676ad97a046e3cd9ead1989ae90db00d97886 refs/tags/v3.2.1
25f639e73d89a208ca611dfdc0ba22f8f417777f refs/tags/v3.2.1^{}
dbde25c1b7e47bc2210d68b1bb3f952e27aa1c9d refs/tags/v3.2.2
ee7ec22dd32a9864ef316f41e54061142dcc69cd refs/tags/v3.2.2^{}
5c01f15f03bf5c1867115a92158f2694093124ef refs/tags/v3.3
0caf3397d5b3e27aa4cfd6e4e648de9231f11e6f refs/tags/v3.3^{}
cfbe0cb5c6b5acc679438f9580ebf1c7fdb63a00 refs/tags/v3.3.1
5bc83691af88bcd2acc816068fa9670453eafb27 refs/tags/v3.3.1^{}
add923ec910a474075a4c9c44f3615835cdb9e19 refs/tags/v3.4
69142b9b916febda3dc88ba63927f0a916ee2994 refs/tags/v3.4^{}
827f1237b427ad37004ae4394ae0359168790f52 refs/tags/v3.4.1
37cfe605d7c848de254e7858a1e3746f74c7801b refs/tags/v3.4.1^{}
663687050c5dd257fb710626aa744e6c8290ef2a refs/tags/v3.4.2
c4be5d9d9238fcd10449424f651fba2b7aff87c0 refs/tags/v3.4.2^{}
dbd14947a85c254c2f34a3952e121cfd1263d050 refs/tags/v3.4.3
62fd0b23c6f5be5c4166211f82b4e162af9ad4ce refs/tags/v3.4.3^{}
c4ebf5afeab48b98207d366e69401ee47e9aaace refs/tags/v3.5
64198233e417d0694175a61f91fd6e49ef0e178e refs/tags/v3.5^{}
850dc62e674658ca4b4ced8bcf148db9006a2018 refs/tags/v3.6
a8e58d45b47f0a8aca04dcba4980b7ee6ffc06dc refs/tags/v3.6^{}
ffc4aaddf9af4805d9152a205ec51fabca8565bf refs/tags/v3.7
98c7b09f964c2eb9e042d5ed4dcf9ffe10bc5b14 refs/tags/v3.7^{}
1414e821844be2fe9bc1ed77aad42d538a13d4f2 refs/tags/v3.7.1
c4ec0e3a7a9f56cfdbd0aa01f4f97bb4b75c5ef8 refs/tags/v3.7.1^{}
2e97dffa24f5bfd07ce873f2d1fbb61bd5963ce3 refs/tags/v3.8
7438b18c4e0c3d40665c66b4b81f8ecbdd245462 refs/tags/v3.8^{}
61d5eadf4e19f6feae6778d8d9469ebea1406c5d refs/tags/v3.8.1
4a49ebb985bc16fae9489771aa35482ccbea14a3 refs/tags/v3.8.1^{}
c10c3bbd2554242e34444a12a2f8c8eef8e97b77 refs/tags/v3.9.0
ef21a2ece3ee092f8ed175417718bdd9b8eb7c9a refs/tags/v3.9.0^{}
807b7ee954b763f1c9177259205358d3888f05f7 refs/tags/v3.9.1
afd2c6924e8a36cb872bc475248b978f743c6050 refs/tags/v3.9.1^{}
bed0959ac693e8bc75a66b4d45e0863d363d263f refs/tags/v3.9.2
67bb9602f0a7541f24dc2d6d0d7389ca3e4c2c89 refs/tags/v3.9.2^{}
6c0e123add6e7d1e0352bd7185064cfa7ecddf14 refs/tags/v3.9.3
fe1661a3efed11831a6452f4b1a0c5e6ddc08c3d refs/tags/v3.9.3^{}
229b8fa15917173a138beb07765a408ac617bc03 refs/tags/v3.9.4
2c0bfd373289f4a7716db5d6db471640f91a6507 refs/tags/v3.9.4^{}