index
:
guix/patches
base
series-2504
series-2525
series-2551
series-2558
series-2560
series-2576
series-2603
series-2605
series-2606
series-2622
series-2628
series-2642
series-2649
series-2675
series-2694
series-2712
series-2714
series-2721
series-2730
series-2733
series-2751
series-2771
series-2773
series-2776
series-2777
series-2791
series-2798
series-2808
series-2814
series-2818
series-2829
series-2853
series-2880
series-2890
series-2892
series-2893
series-2903
series-2923
series-2924
series-2929
series-2939
series-2946
series-2947
series-2948
series-2951
series-2959
series-2970
series-2978
series-2995
series-3022
series-3028
series-3031
series-3037
series-3041
series-3068
series-3069
series-3070
series-3085
series-3100
series-3104
series-3110
series-3111
series-3124
series-3128
series-3140
series-3149
series-3151
series-3152
series-3157
series-3166
series-3167
series-3177
series-3183
series-3184
series-3197
series-3207
series-3211
series-3238
series-3245
series-3256
series-3269
series-3283
series-3284
series-3295
series-3304
series-3308
series-3317
series-3322
series-3327
series-3329
series-3330
series-3359
series-3368
series-3381
series-3390
series-3394
series-3405
series-3412
series-3429
series-3432
series-3439
series-3455
series-3456
series-3461
series-3462
series-3465
series-3466
series-3476
series-3486
series-3489
series-3495
series-3497
series-3499
series-3503
series-3507
series-3514
series-3516
series-3518
series-3523
series-3526
series-3527
series-3530
series-3531
series-3535
series-3541
series-3547
series-3561
series-3577
series-3595
series-3596
series-3597
series-3598
series-3603
series-3608
series-3609
series-3615
series-3616
series-3619
series-3622
series-3625
series-3631
series-3632
series-3635
series-3641
series-3650
series-3655
series-3656
series-3659
series-3666
series-3675
series-3676
series-3693
series-3701
series-3709
series-3710
series-3712
series-3716
series-3723
series-3727
series-3730
series-3738
series-3739
series-3745
series-3754
series-3755
series-3778
series-3785
series-3792
series-3815
series-3821
series-3826
series-3829
series-3831
series-3832
series-3844
series-3846
series-3856
series-3868
series-3879
series-3881
series-3888
series-3891
series-3892
series-3907
series-3908
series-3912
series-3914
series-3916
series-3917
series-3919
series-3926
series-3932
series-3935
series-3938
series-3947
series-3948
series-3950
series-3956
series-3960
series-3961
series-3975
series-3996
series-3997
series-4004
series-4006
series-4009
series-4011
series-4012
series-4014
series-4019
series-4026
series-4029
series-4033
series-4034
series-4035
series-4036
series-4040
series-4045
series-4057
series-4062
series-4067
series-4069
series-4070
series-4072
series-4075
series-4082
series-4084
series-4085
series-4088
series-4089
series-4090
series-4094
series-4096
series-4097
series-4098
series-4099
series-4101
series-4102
series-4103
series-4104
series-4105
series-4106
series-4108
series-4109
Guix
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
lean.scm
Commit message (
Collapse
)
Author
Age
*
gnu: Add lean.
Amin Bandali
2020-01-03
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org>