wsoltys: yes, the repo at https://github.com/rkrajnc/minimig-upstream
has all of the original minimig releases I could find, way back from the original Dennis' release, all yaqube releases and boing4000 releases upto the latest FSB140414_r2, without any changes from my side. All that is missing are the 'unofficial' ARM firmware updates, but I'll try to add those too. Every release is tagged with the name and date of the release, so you can easily checkout any version you like.
All that is missing is the Xilinx ISE project file, but you can easily make that yourself, just create a new project, add all files from the FPGA directory and make sure you select the proper Spartan FPGA chip (XC3S400-4PQ208C).
And yes, I'd very much like to update the DE1, the original minimig and the mist variants, I just didn't have the time to do much of anything for the past few months. Hopefully this month I'll be able to work on the minimig for a few days (I sort of miss it