github-tui/github_tui.opam.template

mirror of https://github.com/chshersh/github-tui.git synced 2024-09-11 18:37:56 +03:00
pin-depends: [
  ["minttea.dev" "git+https://github.com/chshersh/minttea"]
  ["shape-the-term.dev" "git+https://github.com/jmcavanillas/shape-the-term"]
]
Specify pin depends 2024-03-23 13:01:27 +03:00			`pin-depends: [`
WIP 2024-06-20 20:19:01 +03:00			`["minttea.dev" "git+https://github.com/chshersh/minttea"]`
Calculate line width properly 2024-04-07 15:15:15 +03:00			`["shape-the-term.dev" "git+https://github.com/jmcavanillas/shape-the-term"]`
Specify pin depends 2024-03-23 13:01:27 +03:00			`]`