# pack-refs with: peeled fully-peeled sorted 
39a273053dac0803649fe5d21cc8469598995841 refs/remotes/origin/cocalc
04b12e2346dd21f565af1160e3194fde838660e2 refs/remotes/origin/development
1a32f659eaf3b1800bf7432d304d072d3fad94b4 refs/remotes/origin/function-world
eb4a8882aded58ee13826ca774147b1e877926cf refs/remotes/origin/ineq-world
4c6ff5088b33bfe49d3fc068ae713045317e4338 refs/remotes/origin/master
f9c2d23dd0d75077310726b24eb2ea35c5dd2709 refs/tags/v1.2rc2
