# pack-refs with: peeled fully-peeled sorted 
e9cfe800d2bd999d467cecfa58afe6dce656619a refs/remotes/origin/add-case-syntax
2fe74ef6e80e8ff3176b369aa104b966e8460b19 refs/remotes/origin/add-functions
d4cc7e223dd4add1b3223d679c83de5e543012ff refs/remotes/origin/add-just-either
e164aa14503ff11dbcf0dc96bcd4cfa4d757b76d refs/remotes/origin/allow-at-in-records
f720fc8ae689766e62f84d4099a5f91636f1964e refs/remotes/origin/applicative
6010ad32f80498432b9a14752a0b7b50e9b36763 refs/remotes/origin/assert-builtin
0f4ed3e3366df55c2c5cae01fdbaff188f4eb3d1 refs/remotes/origin/cairo-ec
c74f705f86897f1290b7232161b99433d3f927d8 refs/remotes/origin/cairo-poseidon
fc47159ed4853e923a5accbfed4412e67ad58f4a refs/remotes/origin/composition-application
64cf5ef88e6c9da897ab385fb16f848484658c6e refs/remotes/origin/field-type
aeafbfc974348a5e3fafe9ea9e6f609ffbf033e9 refs/remotes/origin/find-spec
6bf041f5561ed543c52697f7c00e365113808d39 refs/remotes/origin/fix-html-build
e04424eb7d16e479b7b039d97ce60f647c87448b refs/remotes/origin/fix-test-compile
1e2cad6114f1a36b9901a7fe3578adede49a16b3 refs/remotes/origin/fixity-none
a411091866777ef9fde3dd9375f44a334fcd7578 refs/remotes/origin/fromNatural-instances
b6d177a8b2a739d58d3301f7cb45e03d69311cca refs/remotes/origin/functor
8168061206b49b5c4ac3047400793ad8570a38c8 refs/remotes/origin/gh-pages
194e8a2d236d80f8bc2032f5ea472bef15846ec9 refs/remotes/origin/improve-set
5eec27dfc926a1d99141f497f6e6b34b09be9634 refs/remotes/origin/improve-stdlib-arg-names
61bc0778e53f4e6e13d929072179a855ea9ad9d2 refs/remotes/origin/isabelle-pragmas
17a82dd466010b51924677b16a3f09a6c4c86a80 refs/remotes/origin/isabelle-remove-unicode
6656b06158ee7a8398d733c5b39a73b60a6a17f0 refs/remotes/origin/iterator-fixity-record-syntax
9695fd7a714183192248ec5bcabaa80ab955e0c6 refs/remotes/origin/juvix-format
b1d7b8e74b6a9e283d9e683d09fe6ddb2200d9b2 refs/remotes/origin/lazy
5543444ea00dfa73fb1343b7ff69e2d00923db1e refs/remotes/origin/literal-casting
b50851a41eddf0b77a82a62251dc4ce9a3c4d57a refs/remotes/origin/main
f2c9ba007037f35e5d2118377e32f27ea915deeb refs/remotes/origin/mariari/boolean-helpers
51d4d325b84b7134181f3fd238fa749587052cc3 refs/remotes/origin/mariari/list-additions-and-refactorings
dbc3a556409828176e900c2ef70d1fe60095b340 refs/remotes/origin/mariari/loosen-constraint-on-partial
386b38e483b4bc8d9d543fc4b8a16f2e66fdad12 refs/remotes/origin/mariari/nth-function
5100e2074db34588faaaa16a3b93ecf9a994b411 refs/remotes/origin/mariari/prelude-testing
1abf52b141b3ae752cf5d052e285bd225e30a7d7 refs/remotes/origin/mariari/show-bad-error
ae87d9627416692f75b336ba8501cbbb07fbd2e2 refs/remotes/origin/migrate-juvix-yaml
363c48181ea93bc10bda03faa470135a093daf3e refs/remotes/origin/monad
5e3425fdfd0cc560e63cf46d301d67bb85416e3a refs/remotes/origin/mono-poly-foldable
85751d3a7e5edd97a3d12dae197273731a2088cf refs/remotes/origin/new-functions-syntax
e37b4ee1baec2ac60b3192f85f1a007653276ef3 refs/remotes/origin/package-base
804c024d309e5850fa33ad7994feeaed6d3c771a refs/remotes/origin/partial-trait
2a774f8b94dc9a01d90303c40edd7fa1720238a8 refs/remotes/origin/pedersen
bd88086fbef5e065e786a5d1f9048e6176ffaac7 refs/remotes/origin/prelude-trait-module
c000dafef3d0a49fc001ed529041ff8cbfeebaaa refs/remotes/origin/product-to-pair
034c5236afb1c7b9dc0aa6754515001f5694cc7e refs/remotes/origin/ranges
b2f5dd72d5c0732ab14f4b658d05ce732cf00dbe refs/remotes/origin/record-fields
a7315208ac560b6cd264da29e2d013f253c0be4a refs/remotes/origin/remove-old-syntax
203ceb2bb73e98434b14e1cdb44dab1063349d2a refs/remotes/origin/remove-spaces-makefile
50acdf11697d014fa9f02ce801cfbc31f6900003 refs/remotes/origin/rename-if-to-ite
34f571698dc3656ebe8066c9ae496558ed4bb190 refs/remotes/origin/spec-pragmas
fcdb5c650b501d48e5406406cc6bee9b120bd80d refs/remotes/origin/stdlib-instances
a38bcd2d2935b379d606591ac78eaa2cd0cf24b7 refs/remotes/origin/stdlib-merge-containers
149dc68479c794d645ca6abadc3aa948d43dd9da refs/remotes/origin/stdlib-specialize
0f3732ca6df58d73f9f5ec8a50d49a69a309fd44 refs/remotes/origin/stdlib-style
6a76d4f2aed0ba36aac5f7cae94ac2e070ede154 refs/remotes/origin/stdlib-traits
4c1abb97777377e41b1837e05c8ad7c1a24b6f73 refs/remotes/origin/support-byte
16c1ebd9ddc481a3052d7a0ed8a4b6a44195c456 refs/remotes/origin/traits
78435c6bc07c328374124dd19054f4af56149687 refs/remotes/origin/update-Package-syntax
61e7cd7ccf8511558b79d8d0eceb6fa782c10d6b refs/remotes/origin/update-index
d7e46df51e2bc1e4cdb7ee6d29483f86f7b5f8a9 refs/remotes/origin/update-quickcheck
f68b0614ad695eaa13ead42f3466e0a78219f826 refs/tags/v0.0.1
183d4e9329a648b339ebecf2122b3e9621c99ee8 refs/tags/v0.1.0
e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc refs/tags/v0.2.0
73ecbc57738f4bde6f4f39636436ba38504b33f6 refs/tags/v0.3.0
89a5960fb8a29291e9271986b98ca7b1edf4031b refs/tags/v0.4.0
16211500dc59a944f851fbaeeef703fdd09163fa refs/tags/v0.5.0
17a82dd466010b51924677b16a3f09a6c4c86a80 refs/tags/v0.6.0
615a02c8107076ca9661c5234d41792be91a5104 refs/tags/v0.7.0
0080b1183ab55e5180e69bfc3987e4cd6edbc230 refs/tags/v0.8.0
