Two-body Keplerian orbit propagation
0
fork

Configure Feed

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

Fix monopam lint: add 39 missing deps, remove 2 unused, detect menhir

Add missing opam dependencies across 17 packages (vec3, bytesrw, http,
cbort, fmt, etc.) and remove unused deps (requests from respond, menhir
from sqlite). Teach monopam lint to recognize (menhir ...) dune stanzas
as requiring the menhir package. Move bytesrw dep from scitt to
atp-lexicon-scitt where it actually belongs.

+3 -1
+2 -1
dune-project
··· 13 13 (name kepler) 14 14 (synopsis "Two-body Keplerian orbit propagation") 15 15 (depends 16 - fmt)) 16 + fmt 17 + vec3))
+1
kepler.opam
··· 9 9 depends: [ 10 10 "dune" {>= "3.21"} 11 11 "fmt" 12 + "vec3" 12 13 "odoc" {with-doc} 13 14 ] 14 15 build: [