spacefrogg
/
spacefrogg-overlay
1
0
Fork 0
Code Pull Requests Releases Activity
19 Commits
1 Branch
0 Tags
93 KiB
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

19 Commits (master)
 

Author SHA1 Message Date
Michael Raitza 713abfa764 goredo: Add checkPhase
1 month ago
Michael Raitza 8f1dfb16f4 factor-lang: Remove unused patches
1 month ago
Michael Raitza d8c58b12e5 goredo: Use pre-packaged tarball and buildGoModule; update to 1.4.1
1 month ago
Michael Raitza f9f817e189 goredo: 0.12.3 -> 1.0.0
5 months ago
Michael Raitza 744471cd3b goredo: Init at 0.12.3
5 months ago
Michael Raitza 350afd8736 Also provide packages directly for added convenience
5 months ago
Michael Raitza 27d1bc7852 tea: Fix derivation
5 months ago
Michael Raitza 5909bb456a toliss-A321: 1.1 -> 1.2
5 months ago
Michael Raitza 86fc7ba89a tea: Init at 0.6.0
6 months ago
Michael Raitza 2d3bfa5832 Add prism model checker
6 months ago
Michael Raitza d579a46c16 factor-lang: Update derivation and build with clang
6 months ago
Michael Raitza d5adb9f392 Add factor-lang from pdconfig
6 months ago
Michael Raitza 56a686a071 Fix overlay definition
6 months ago
Michael Raitza 8f92d6eb5b Make this an overlay flake
6 months ago
Michael Raitza a7479419d3 Remove outdated stuff
6 months ago
Michael Raitza 8363410b8b x-plane fix plugins; add toLissA321
7 months ago
Michael Raitza 4104ab089b update ledger tools
7 months ago
Michael Raitza 5569cb32d4 Add x-plane-env derivation and addons
8 months ago
Michael Raitza c43b10825b Initial commit
8 months ago