diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2014-09-16 16:55:56 +0200 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2014-09-16 16:55:56 +0200 |
commit | 6110679beeb0a88da65d517d2d79277151dd7798 (patch) | |
tree | 2fadab8fef35f95b0d2497132456a12efb3fbfeb /lib/lists.nix | |
parent | 3224b32e64e7b6fadaff254d1161bfb5b74ff088 (diff) | |
download | nixpkgs-6110679beeb0a88da65d517d2d79277151dd7798.tar nixpkgs-6110679beeb0a88da65d517d2d79277151dd7798.tar.gz nixpkgs-6110679beeb0a88da65d517d2d79277151dd7798.tar.bz2 nixpkgs-6110679beeb0a88da65d517d2d79277151dd7798.tar.lz nixpkgs-6110679beeb0a88da65d517d2d79277151dd7798.tar.xz nixpkgs-6110679beeb0a88da65d517d2d79277151dd7798.tar.zst nixpkgs-6110679beeb0a88da65d517d2d79277151dd7798.zip |
Update hol_light to r198. Add myself as a maintainer
Diffstat (limited to 'lib/lists.nix')
0 files changed, 0 insertions, 0 deletions