THIS IS A TEST INSTANCE ONLY! REPOSITORIES CAN BE DELETED AT ANY TIME!
This website requires JavaScript.
Explore
Help
Sign In
jolheiser
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
a3fa690fa2
nixpkgs
/
pkgs
/
development
/
tools
/
alloy
History
Pascal Wittmann
7fd2796e99
Replace 'with plaforms; platform' with 'platforms.platform'
2015-11-17 21:30:43 +01:00
..
default.nix
Replace 'with plaforms; platform' with 'platforms.platform'
2015-11-17 21:30:43 +01:00
icon.png
Add alloy 4.2_2015-02-22: relational modeller
2015-05-09 01:25:59 +02:00