patrick.sirref.org / shelter
This repository has no description
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

Add some pins

author
Patrick Ferris date (Apr 3, 2025, 3:56 PM +0100) commit 201453c6 parent c4679565
+14
+1
dune-project
··· 25 25 zfs 26 26 cid 27 27 ppx_repr 28 + irmin-fs 28 29 ) 29 30 (tags 30 31 ("shell")))
+7
shelter.opam
··· 16 16 "zfs" 17 17 "cid" 18 18 "ppx_repr" 19 + "irmin-fs" 19 20 "odoc" {with-doc} 20 21 ] 21 22 build: [ ··· 33 34 ] 34 35 ] 35 36 dev-repo: "git+https://github.com/username/reponame.git" 37 + pin-depends:[ 38 + [ "zfs.dev" "git+https://github.com/patricoferris/ocaml-zfs" ] 39 + [ "void.dev" "git+https://github.com/quantifyearth/void" ] 40 + [ "irmin.dev" "git+https://github.com/mirage/irmin#eio" ] 41 + [ "irmin-fs.dev" "git+https://github.com/mirage/irmin#eio" ] 42 + ]
+6
shelter.opam.template
··· 1 + pin-depends:[ 2 + [ "zfs.dev" "git+https://github.com/patricoferris/ocaml-zfs" ] 3 + [ "void.dev" "git+https://github.com/quantifyearth/void" ] 4 + [ "irmin.dev" "git+https://github.com/mirage/irmin#eio" ] 5 + [ "irmin-fs.dev" "git+https://github.com/mirage/irmin#eio" ] 6 + ]