~ruther/guix-local

ref: 69c3a06a1c81fa535539a85bc2dc2b61d001e39b guix-local/ChangeLog -rw-r--r-- 163 bytes
69c3a06a — Tobias Geerinckx-Rice gnu: btor2tools: Use HTTPS home page. 3 years ago 
                                                                                
1
2
3
4

Normally a ChangeLog is generated at "make dist" time and available in
source tarballs.

If not, see the Git commit log at <http://git.sv.gnu.org/cgit/guix.git/>.