[auth] combinat_patches.prefix = http://combinat.sagemath.org/patches/ combinat_patches.username = USERNAME combinat_patches.password = PASSWORD
[auth] combinat_patches.prefix = http://combinat.sagemath.org/patches/ combinat_patches.username = USERNAME combinat_patches.password = PASSWORD