aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


ges/mes.scm
AgeCommit message (Expand)Author


2018-12-16gnu: mes: Update to 0.19....Jan Nieuwenhuizen


2018-10-07gnu: mes: Update to 0.18....Jan Nieuwenhuizen


2018-09-11gnu: mes: Oops, use mirror://gnu download url....Jan Nieuwenhuizen


2018-09-08gnu: mes: Update to 0.17.1....Jan Nieuwenhuizen


2018-09-08gnu: nyacc: Update to 0.86.0....Jan Nieuwenhuizen


2018-08-19gnu: mescc-tools: Update to 0.5.2....Jan Nieuwenhuizen


2018-08-10gnu: mes: Update to 0.17....Jan Nieuwenhuizen


2018-07-13gnu: mes: Update to 0.16.1....Jan Nieuwenhuizen


2018-06-26gnu: mescc-tools: Update to 0.5.1....Jan Nieuwenhuizen


2018-06-26gnu: mes: Update to 0.16....Jan Nieuwenhuizen


2018-06-26gnu: mescc-tools: Update to 0.5....Jan Nieuwenhuizen


2018-06-12gnu: mes: Update to 0.15....Jan Nieuwenhuizen


2018-05-24gnu: mes: Update to 0.14....Jan Nieuwenhuizen


2018-05-24gnu: mescc-tools: Update to 0.4....Jan Nieuwenhuizen


2018-05-24gnu: Add nyacc-for-mes....Jan Nieuwenhuizen


2018-04-28gnu: mes: Update to 0.13....Jan Nieuwenhuizen


2018-04-10gnu: mes: Update to 0.12....Jan Nieuwenhuizen


2018-02-19gnu: nyacc: Update to 0.83.3....Tobias Geerinckx-Rice


2018-01-07gnu: mes: Generalize logic for native-inputs....Efraim Flashner


2017-12-03gnu: mescc-tools: Update to 0.3....Efraim Flashner


2017-11-18gnu: mes: Update to 0.11....Jan Nieuwenhuizen


2017-11-11gnu: nyacc: Update to 0.82.4....Jan Nieuwenhuizen


2017-09-11gnu: mes: Update to 0.10....Jan Nieuwenhuizen


2017-09-11gnu: nyacc: Update to 0.82.0....Jan Nieuwenhuizen


2017-07-29gnu: mes: Update to 0.9....Jan Nieuwenhuizen


2017-07-29gnu: mescc-tools: Update to 0.2....Jan Nieuwenhuizen


2017-06-29gnu: mes: Update to 0.8....Jan Nieuwenhuizen


2017-06-29gnu: Add mescc-tools....Jan Nieuwenhuizen


2017-06-26gnu: nyacc: Update to 0.80.3....Jan Nieuwenhuizen